「TypeScriptジェネリックス：可能性が見えると不満がつのる」において、クラス定義や関数定義に型パラメータを渡せるだけでは、ジェネリック・プログラミングは難しいと述べました。そのときの例題はリストの総和だったのですが、より簡単な累乗（ベキ乗、p…

今年（2015年）の8月にWunderlistについて紹介しました。 WunderlistによるURLの共有とタスク管理 その後、2,3人のあいだでのゆるーい情報共有／状況共有に使っています。現時点での感想や補足説明を記します。僕は主にブラウザから使っているので、他のUIで…

2013年に「絵算したい人のためにオススメする3つのストリング図解説 （とオマケ）」という記事を書きました。絵算（お絵描き計算、pictorial/graphical/diagrammatic calculation）は、圏論の理解や計算を、図式を使って行う方法です。使用される図式をスト…

ちっちゃい子も、 黒い子も、 白い子も、 茶色の子も。

「2次元の圏のための記号法」の続き、みたいな話。とある二重圏を記述しようとしてまして、基本方針は以前の記事のとおりです。 二重圏は圏の圏ではありませんが、DOTNの約束を流用して、縦1-セルをf, gなど、横1-セルをF, Gなどで表し、結合の記号も流用す…

近眼＋老眼で誤認・混乱する人（実例：檜山）もいるので、 50GBのiCloudストレージプラン、年額￥1,560.00 こういう紛らわしい金額表記は止めて欲しいですね。日本円で .00 は不要でしょう。

昨日の「女性が300kgをかつぐって、ホントかよぉ!?」において、「江戸時代は誰もが、60キロの米俵をヒョイと持ち運んでいた！ 〜なぜ私たちは「身体」を見失ったのか？」という記事の写真に僕が反応した事情は、僕が米俵について見聞きする機会があって、あ…

「江戸時代は誰もが、60キロの米俵をヒョイと持ち運んでいた！ 〜なぜ私たちは「身体」を見失ったのか？」という記事*1のこの写真：[*2]60kgの米俵5俵で総計300kgを女性がかついでいる！ にわかには信じがたいです。この写真は合成？ そうも見えないし、山形…

先週のことでタイミングが遅れていますが、 http://d.hatena.ne.jp/JavaBlack/20151103/p1 相変わらず、何の根拠も示さずに知ったふうな事をのたまう。無根拠・非論理の芸風は死ぬまで治らない（治さない）のでしょう。林晋さん*1へのたちの悪い言及を目にし…

昨日の記事「順序集合や距離空間も実はモノイドだった」において： この事実の背後には大きなストーリーがありそうですが、個別事例としても面白いと思います。冒頭で、「この事実の背後には大きなストーリーがありそう」と言いました。とはいえ、大きなスト…

コーヒーを飲んでいる隣の席で若者が電話している。仕事の電話。「営業ニ課の○○様はいらっしゃいますでしょうか」「そうですか、では○○様にご伝言をお願いしたいのですが」これなら問題はないと思うのだが、いつもの口調が入ってしまったようだ。「営業ニ課…

モノイド圏のなかでは、モノイド対象というものを考えることができます。外側のモノイド圏を取り替えてモノイド対象を作ると、色々な構造が現れます。モノイド圏の作り方を工夫すると、意外なものがモノイド対象になったりします。順序集合と距離空間は、モ…

定期的に、「並列（parallel）処理と並行（concurrent）処理は違うから混同しちゃいかん」みたいな話が出るんですが、言葉のニュアンスというか、雰囲気で使い分けるというなら、それは趣味嗜好の問題で人好き好きでしょ。違いを強調しながらも、明確なモデ…