高校の教科書に載っている「情報」の説明が変だという話

数研出版の教科書『高等学校 社会と情報』(平成24年2月27日検定済、平成27年1月10日発行)の序編第II章では、「情報の特徴」と題して、情報とは何かとその特徴についての説明が行われているのだが、そこで行われている「情報の有無」の説明にいまいち納得が…

「What Is Functional Programming? に対する反論」を読んで考えたこと

lyrical-logical.hatenablog.com読んでいて引っかかった部分について考えました。 mutable変数は「入力とは呼べない」? この記事で僕が伝えたいのは、君が書くあらゆる関数には二組の入力と二組の出力があるってことだ。 間違いなく、InboxQueue の状態はこ…

游ゴシックは何故Windowsでかすれて見えるのか

TL;DR 游ゴシック体は単に細いから薄いのではなく、ガンマ補正が2重、3重に掛かっているために、グレーが本来よりも明るくなりすぎている。ガンマ補正を逆に掛けると、正常な表示になる。 かすれた游ゴシック Windowsでは游ゴシックがかすれて見える。細字だ…

プログラムを哲学する 2. 「概念記法」

以前、言語の完全性について言及した。今回は引き続き、言語の完全性について考える。mandel59.hateblo.jp フレーゲの「概念記法」 フレーゲは未定義の式の存在を「言語の不完全性」(einer Unvollkommenheit der Sprache)とみなしていた。論理学者のフレー…

Windows 10 導入作業

Windows 10を導入する上でやったこと ディスプレイの色調整 液晶の白が青かぶりしている感じだったので、ディスプレイの詳細設定から色設定を行う。 開発者向け機能 更新とセキュリティから、開発者向け機能に関する設定を行う PackageManagement ソフトウェ…

Suica専用自販機に見る形骸化した記号の話

Suica専用自販機。どんどん進めていけばいいし、通常の自販機を流用するのも全然いい。たださ、なんでコイン投入口跡に小銭のイラストを残したの?飲み物買おうとした外国人、英語の説明ないから、お金入れようと四苦八苦してたぞ。 pic.twitter.com/qIja6ba…

東京メトロの行先案内の多言語化で全言語にルビが付いていて賢いという話(だけど限界もある)

東京メトロの多言語化戦略、全部の言語にふりがなが付いていて賢い— Ryusei Yamaguchi (@mandel59) 2016年7月15日 全部の言語にふりがながあるから、ハングル表示の時に日本人が読めないというクレームを無効化している、神対応か— Ryusei Yamaguchi (@mande…

花押の件について判決文を読んでみたけどよく分からなかった話

www.jiji.com今回の裁判の要旨は「いわゆる花押を書くことは,民法968条1項の押印の要件を満たさない」ということですが、その理由を抜き出してみます。 3 原審は,次のとおり判断して,本件遺言書による遺言を有効とし,同遺言により被上告人は本件土…

シンタックス・ハイライト機能はHaxeに対応してほしいです。

お題「シンタックス・ハイライト機能で対応してほしい言語」Haxeに対応してほしいです。 class Test { static function main() { trace("Haxe is great!"); } }HaxeはActionScript風のシンタックスを持ちながらも、JavaScriptやC#, PHPなど多数のターゲット…

文脈付き構成的意味論を構成的意味論に変換する

mandel59.hateblo.jpここでは自然数の集合 は0を含むこととする。また、記法 の類は が 以上 未満の区間の整数を動くことを表す。 の時は空の区間を表す。 形式言語 形式言語 は関手集合 , 関手の項数 からなる組である。 式 形式言語 の式集合 をつぎの帰納…

プログラム意味論の分かりやすい紹介

巷に膾炙しているプログラム意味論の説明は、正直言って何を言っているのか、部外者にはよく分からないように感じられる。プログラムの意味を論じる「プログラム意味論」の意味がよくわからないというのは本末転倒だろう。ここでは、プログラム意味論を分か…

プログラミングと哲学

プログラミングと哲学の間には深い関係がある。プログラミングが昔ながらの哲学と単純に対応するというわけではないけれども、だからといって全くの無関係というわけでもない。その理由として、プログラミングの方法論のひとつに、世界を分析し、それを記述…

Referential Transparencyの代わりに使える概念案

Referential Transparencyという概念が指すものは漠然としているので、もっと意味が明瞭で使いやすい用語を定義し、色々な言語の性質を記述してみる。前提として 式は原子式か複合式である。 複合式は関手(functor)と項(argument)から構成される。 〈純…

Referential Transparencyについて取り急ぎ

Wikipedia日本語版に 参照透過性(さんしょうとうかせい、英: Referential transparency)は、計算機言語の概念の一種で、文脈によらず式の値はその構成要素(例えば変数や関数)によってのみ定まるということを言う。 https://ja.wikipedia.org/w/index.php…

ナンセンスな「電子署名」と、「失われた魔法」の話

今日の帰り道に、携帯電話会社の店舗に寄って、支払い方法をクレジットカード払いに変更してきた。身分証明証とクレジットカードを提示し、支払い方法を変更するんだけど、最後にタブレットを差し出され、指で画面への「署名」を求められた。これは変だ。そ…

Failures of Japanese dolls emoji 🎎

3rd March is hina-matsuri (雛祭り; Doll's Day) in Japan. There is an emoji for hina-matsuri: JAPANESE DOLLS. I'm satisfied with the JAPANESE DOLLS emoji which Google ships, but some vendors unfortunately ship uncomfortable emoji for it. L…

プログラミングにおける〈式〉の考察 まとめ

mandel59.hateblo.jp mandel59.hateblo.jp

RustでFizzBuzz まとめ

Rust 0.1 (2012-01-26) プログラミング言語 Rust - M59の記録 Rust 0.4 (2012-11-16) Rust 0.4 - Ryusei’s Notes (a.k.a. M59のブログ) Rust 0.7 (2013-07-06) Rust 0.7 - Ryusei’s Notes (a.k.a. M59のブログ) Rust 0.9 (2014-01-15) Rust 0.9 - Ryusei’s N…

Rust StableでFizzBuzz

前回: RustでFizzBuzz - Ryusei’s Notes (a.k.a. M59のブログ)安定版がリリースされてからは特段試してなかったことに気づいたので、今更ながら安定版で動くFizzBuzzを載せておく。 fn main() { use std::thread::spawn; use std::sync::mpsc::channel; use …

ハンコの意味論

ナンセンスなハンコ 先日、大学で進路説明会なるものが催され、某就活支援サービスの担当者が、就活の心得のようなものを語っていた。そこで、履歴書だかエントリーシートだかの書き方の話になったのだが、「綺麗に書いて最後にハンコを押す段階で失敗して書…

一元論的記号論

記号論あるいは記号学と呼ばれる学問がある。これは、意味を担う媒体たる記号がなすシステム=記号系に普遍的な構造や性質を記述することによって、個々のシステムの分析に役立てることを目的としている。人間はあらゆる物事に意味を見出しうるので、記号論が…

プログラミング言語は自然言語と本質から異なるのか

わたしは小説家になる以前、8年間ほどプログラマーとして働いていまして、こういう思考を始めると止まらないところがあります。コンピューター言語と小説の言語、自然言語は違うのか、という質問はよくされるのですが、これは本質的に異なります。プログラミ…

〈式〉の考察 2

その1 ⇒ プログラミングにおける〈式〉についての考察 - Ryusei’s Notes (a.k.a. M59のブログ)前回、式の望ましい性質として確定性・構成性・純粋性があるという話をした。これらの性質がなぜ望ましいのかを、実際に式を分析しながら詳しく見ていく。 式の構…

プログラミングにおける〈式〉についての考察

「プログラムとは何か」という質問に対する、最も素朴な回答は「プログラムとは、機械に与える命令文の並びのことです」というものだ。命令文を解釈する機械が、プログラムに記された命令に従って、装置を制御し、計算処理を実行する。このようなことは、情…

Everybody Loves Somebody

述語論理に限定継続を追加して、everybodyやsomebodyを表す項を作ってみる。以下、 はそれぞれ shift0, reset0 とする。同時に複数使うと、引数を右から評価するか左から評価するかで継続が異なるため、結果が一意にならず、英語の表現と同様に曖昧になる。…

0の0乗が1でないと困る

qiita.com参考になる

0の0乗

はてなブックマークで、0の0乗についての記事がホットエントリーになっていた。0の0乗の正解がネット検索しても見つからないので作成した。 | 子育ての達人 | 妊娠・出産・育児・子育ての毎日を楽しく「いろんな言い分は多々見受けられましたが、正しい解答…

RDFa Liteのここが酷い

RDFa LiteはRDFa Coreのサブセットで、とても短い仕様なのだけれども、一点気に入らない。なぜ、@aboutではなく@resourceを採用したのか。RDFa 1.1 Primerによれば、@aboutと@resourceの違いは、同じ要素に@propertyが設定されている場合の意味の差だけだ。…

schema.org/URLってダメ

(Poor schema.org/URL - Ryusei’s Notes (a.k.a. M59のブログ)の雑な日本語訳。というか、原文が雑な英語すぎるし、まとまってない。)schema.org/URL というデータ型が定義されているんだけど、これって酷いよね。「この属性のデータ型って何?」「URL。」…

Poor schema.org/URL

schema.org/URL is one of data types defined for linked data. I hate it, because it is totally useless. “Hey, what is the data type of this attribute?” “URL.” That is nonsense.An URL is just an identifier. That is URL, I know. Almost every …

ソースコードは基本設計図か

www.nikkei.com用語ミニ解説として、オープンソースが「基本設計図である「ソースコード」が公に開示されているソフト」と解説されているのだけれども、ソースコードは基本設計図なのだろうか。基本設計図というのは建築における用語だ。建築では、設計図に…

コメント欄についてのコメントまとめ

Twitterのツイートをまとめました。 2012年 コメント欄に載っけるか載っけないかで揉めるし、もうコメント欄は無くしちゃってコメントはツイッターにでも書かせてしまうのがいいのかもなー— Ryusei Yamaguchi (@mandel59) 2012, 8月 17 ブログからはコメント…

望ましいコメント欄の姿はなんだろう。

この記事は、イケダハヤト氏の記事に反応して書かれたものだ。コメント欄について、私は過去にもいくらか考えてきた。Twilogからコメント欄についてのコメントを拾い、あらためて自分の意見を確認した。www.ikedahayato.comこの記事ではコメント欄を閉鎖する…

CSSでヒラギノ角ゴシックのウェイトを指定する方法

※追記ありますMac OS X El Capitanのヒラギノ角ゴシック — Mediumヒラギノ角ゴシックは10ウェイトあるが、CSSでは9つ(100から900まで100間隔)でしか指定できない。しかも、具体的にどのウェイトで表示されるかが、ブラウザによって異なっているようだ。fon…

GMailのリプライをスレッドにまとめる機能は完全にダメ

GMailのアプリは関連するメールを一つにまとめる機能があるけど、この仕様を把握していないせいで完全に失敗した。メールに新規の未読のリプライが付いても、それは既読のメールの下に表示されるわけで、これじゃあ未読のリプライの内容を読み逃してしまうに…

人力検索はてなの質問をキャンセルしたら内容が消えてしまったので、こちらに残しておく。 昔読んだ数学の児童書を探しています。 内容は断片的にしか覚えていません。おそらく12年以上前に図書館で読んだ本です。 小説仕立ての本であり、ワープロのフロッピ…

関数とラムダ計算の話

高階関数と関数オブジェクトとラムダについての自分なりのメモ書き - Line 1: Error: Invalid Blog('by Esehara' )bugrammer.hateblo.jpこの記事へのツッコミみたいなことを書くつもりだったけど、あんまり関係ない話になったので、サイドストーリーみたいに…

アクションと関数、式の値の話

プログラムにおける「関数」とは何かについて、自分なりのまとめ - Line 1: Error: Invalid Blog('by Esehara' )bugrammer.hateblo.jp a -> bというのは、引数にa型の値をとり、b型の値を返す関数の型だ。 Monad mが存在するような任意の型コンストラクタmに…

ES6のジェネレータはHaskellのdo記法ほど強力ではないという話

Monads in JavaScriptcuriosity-driven.org JavaScriptのモナド | プログラミング | POSTDpostd.ccこの記事では、ES6のジェネレータを使って、Haskellのdo記法を模倣したdoM関数を定義し、ジェネレータを使ってモナドを取り扱えることを示している。しかし “…

「抽象化」を抽象化する 〜 nopは確かに抽象化のひとつの形であるという話のメモ書き

さて、以上の議論を踏まえた上で、「世界一抽象化されたコード」というのを今から書いてみましょう。一瞬でかけます。 # nop 上にあげたものがそうです。つまり、「なにもしない」というコードこそが、世界一抽象化されたコードです。 http://nekogata.haten…

CoffeeScriptで代数的データを表現する

関数型言語ではポピュラーな機能である、代数的データ型を愛してやまない人は多いだろう。しかし悲しいことに、CoffeeScriptは、代数的データ型を持っていない。今回は、オブジェクトを使って代数的データの条件分岐を表現する方法について書こうと思う。次…

Debug the Haxe Compiler with OCamlDebug

1. Apply the following patch to the Makefile: diff --git a/Makefile b/Makefile index e912e15..1f6c71f 100644 --- a/Makefile +++ b/Makefile @@ -80,7 +80,7 @@ libs: make -C libs/objsize OCAMLOPT=$(OCAMLOPT) OCAMLC=$(OCAMLC) $(TARGET_FLAG) ha…

哲学無用論と哲学の価値

哲学は役に立たないのではないか、という批判はソクラテスのむかしからあるようだ。(理想国のあり方と哲学の役割──『国家』第5-7巻)そういう哲学無用論に反論する方法のひとつに、哲学の有用性を具体的に説くというものがある。「哲学って、なんの役に立つ…

プログラムを哲学する 1. 言及

これから書くのは、言葉や論理と、その意味に関する話だ。フレーゲらによる、物事を厳密に考える言葉の探求は、現代論理学や分析哲学の出発点になった。まずは、その哲学を探りながら、関数プログラミングの話でよく耳にする「参照透過性」という概念を理解…

プログラムを哲学する 0. プログラムと哲学の関係

僕は、プログラムを哲学したい。その動機のひとつに、用語の統一がある。現状、プログラムにおいて使われる用語は、対象言語によって色々と異なってしまっている。たとえば、似たような概念に、あるプログラム言語ではポインターという用語を使い、別の言語…

絵文字 WHITE FLOWER 💮 を比べてみる

寿司の絵文字を比較して心を落ち着かせる | プログラミング生放送 Pile Of Poo! ウンコーな絵文字を比較してみた! - SHII.NET(しぃねっと) 絵文字比較がブームなので、ここでは U+1F4AE WHITE FLOWER を比較してみようと思います。 Unicode code chart Uni…

Source Han Sans 1.002 をダウンロードする

Source Han Sans (源ノ角ゴシック)バージョン1.002がリリースされました。次のページからダウンロードできます。 adobe-fonts/source-han-sans at release · GitHub 基本的にはSubsetOTFディレクトリの中のSourceHanSansJP.zipをダウンロードして使えばOK…

新しい絵文字を提げて iOS 8.3 がやってきた

Appleが、ドラフト段階の絵文字修飾子を実装したiOS 8.3をリリースした。パブリック・ベータ版とは、Genericな肌色の絵文字の髪の色が、黄色に変更されている点が違う。これは、黄色がアジア人をイメージしたものだというクレームがあったので、Yellow is et…

Emoji Skin Tone Problem

This article considers what makes Apple’s implementation of Fitzpatrick Scale Modifier problematic so that Chinese people criticize it.(It is the abridged translation of 絵文字肌色問題 - M59のブログ.) What makes Apple’s emoji problematic S…

絵文字肌色問題

絵文字肌色問題 Appleが、Unicode 8.0で入る見込みのFitzpatrickスケールを実装したら、デフォルトを意図していた黄色い肌色の絵文字が黄色人種だと解釈されたり、赤毛の絵文字も入れて欲しいと要望が出たりと、まあ絵文字をめぐる事態は明らかにヤバイ方向…