2016-05-01から1ヶ月間の記事一覧
絵算(お絵描き計算、pictorial/graphical/diagrammatic calculation)で使われる絵はストリング図(string diagram)と呼ばれます。とある文書でストリンググラフ(string graph)という言葉を見たんですよね。ストリング図の同意語だろう、と思ってました…
歌詞で何やら騒動になったこの曲(2016年4月13日発売) http://www.uta-net.com/song/206311/ ディアナ・アグロンばっかり話題になりましたが、対比されているのは何故かアインシュタイン。少し後の2016年4月27日発売のこっちはシュレディンガー。 http://ww…
「関手データモデル/圏論データベース: その後の発展と現状 (2016)」 にて: FQL IDEがサポートする4つの言語のなかで、位置付けがハッキリしないカワイソウなFQL++ですが、「圏論の学習にはとても有用」という特徴があります。これだけを切り出して圏論学…
これ、中国語だし、「もと動画から許可とってる?」とか思ったりもするのですが、「猫と赤ちゃん」の可愛さは無敵ですね。この動画(↑)では、みんな(猫たち)赤ちゃんに気を使ってますね、爪を立てないようにしたり。でも、いつでも子供にやさしいとは限らな…
いらすとやさんの「水素水のイラスト」これは笑えます。けど、笑ってくれない人もいそうで、それがちょっと怖いです。このイラストのページの広告には(たぶん、ほとんどの場合)水素水の広告が出ます。それがまた可笑しかったりします。「スポンサードリン…
C/C++のとんだ落とし穴(ハマっちまったよ) 上記の記事で、Shift_JIS(CP932)のコメントにまつわるトラブルを紹介しました。あまり時をおかずして、C/C++でまたハマりました。コメント事件ほどの意外性はないにしろ、事情を知らないと対処しにくいトラブル…
2013年の初頭に、デイヴィッド・スピヴァックの関手データモデル(functorial data model)について紹介しました。 デイヴィッド・スピヴァックはデータベース界の革命児か -- 関手的データモデル 衝撃的なデータベース理論・関手的データモデル 入門 あれか…