気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
konn-san.comエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
0
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
konn-san.com 建設予定地
集合論など数理論理学関連を中心に、数学・関数型プログラミング・ミステリなどに関する情報を集積して... 集合論など数理論理学関連を中心に、数学・関数型プログラミング・ミステリなどに関する情報を集積してあります。 更新履歴など Talks - 2024/03/10 15:00:00 JST これまでに行った講演 うたにっき - 2024/01/28 03:30:00 JST （最終更新：20240127）ブログ未満の日常の破片 Disco Elysium - 頽廃の都マルティネーズで世界の迷宮に迷い込もう - 2023/01/01 17:35:00 JST Disco Elysium が前評判に違わず素晴しかったのでみんなプレイしましょうという話です。 古典的実現可能性モデルノート - 2022/09/16 21:00:00 JST 古典的実現可能性モデル（classical realisability）の手法は，Curry–Howard対応を拡張する形でZF\mathrm{ZF}ZFのモデル
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
togetter.com
president.jp
www.publickey1.jp
number.bunshun.jp
www.techno-edge.net
www.linuxfoundation.jp
qiita.com/masazero
note.com/dory111111
k-tai.watch.impress.co.jp
zenn.dev/cybozu_frontend
www.nikkei.com
www3.nhk.or.jp
