ホームページ

日記と考えを置く場所です。特に日記はnoteとしずかなインターネットでも公開しています。また、このサイトのソースコードはGitLabで公開しています。

日記

2024

• 04/13 内なるクリエイティビティをウェブサイトに表出する
• 01/07 Twitterを試験的に再開
• 01/06 ウェブとは何なのか

2023

• 12/11 米田にすべてを任せてみれば、よかったりしないかな
• 12/05 高階論理でも型を構成したいときって、あるよね
• 12/04 Heap (груда)とgroup (группа)
• 12/03 Contextだとか