読者です 読者をやめる 読者になる 読者になる

日々の記録

モナドの数だけ強くなれるよ

モナドを理解するべくAwodeyを読み始めたはずだが,いろいろあって滞っている.なおタイトルに深い意味はない.ふと思いついたので書き残しておきたくなった. 今日は帰り道に素敵百合カップルを見かけたので,定義により,いい一日だった.アッシュブラウン…

数学の証明はラブレターだって君は言うけど

かつて知人は言った. 「数学の証明はな,ラブレターなんや.読む人の気持ちを想像しながら,自分の気持ちを丁寧に説明するんや」 あれから幾星霜,数学の各種刊行物でしばしば出会う言葉がある.Proof. Clear. Proof. Obvious. Proof. Routine. これはラブ…

カピバラになりたい

free categoryの理解がいまいちである.freeでない,ということが何をもたらすのか,それがわからないと色々厳しそうだ.計算機科学で扱うものの多くがfreeであり,それが計算可能性にも関わっていることを知り,なんだかわかったような,わからないような.…

若さ使いはたして

いよいよダメである.心身の状態がよろしくない.どうにも集中が続かない.作業していても進捗がまるで得られない.しかし,つらつらと思い返すに,今までの人生で調子がよかったことなどなかったのかもしれぬ.多分,なかったのだろう.だから,そもそも調…

あみじゃがに含まれる若干の虚無について

最近昔のことばかりが頭をよぎる.ああしたらよかった,こうしたらよかった,とかとかとかいう後悔というよりも,自分の過去を景色のように眺めてぼうっとしている.これは末期症状というやつか.全部全部すり減っていって,痛みさえなくなってしまうのだろ…

かつてあれほどまでに真剣で切実だった筋肉が

最近甘いものをよく食べる.「ストレス解消を主目的として甘いものを食べる」ことなど,河川敷を走って脳内麻薬でトリップするのに忙しかった若い頃には考えたためしもなかったが,一旦慣れると大変強い依存性がある.大変強い依存性があるため,大変悪い方…