Home - 41semicolon/41semicolon.github.io GitHub Wiki

個人向けメモ置き

• 生活
  • お金: / 税 / 投資判断 / 底辺生活 / お得情報
  • 健康: / 体重管理 / 歩行技術 /
  • 観光: / 諏訪 / シンガポール / 三浦半島
• 教養
  • 数学: / 素数 / 群環体 / 情報理論 / 『ガール』 / ビット演算
  • 論理: / VSI / 略歴 / 不完全性 / 供養 / FAQ / 直観論理 / ラッセルの逆理
  • 人文: / 行動経済 / ゲーム理論 / メタ倫理 / 名言？ / 人生哲学
  • 思想: / 現代実在論/ 言語/ / 断片 / 『論考』 / 分析哲学 / 『意味・規則』 / 意味・規則 / 『大全』 / 『知識』 (回答)
  • 物理: / 文系 /
  • 小説: / 寓話 / 小説技術 / 創作技術
• 趣味: / ロープ / 将棋 /ポーカ / Nox / 動画関連 / iOSゲーム
  • PC環境設定: / 機械学習 /
  • プログラミング Rust / Twitter / RPA / rollup / Coq
• 社会: / 社会的な数字 /
• 学習ノート:
  • 論理学: / 命題論理 / 1階言語 / 算術化 /1階言語misc / 自然演繹 / 各種証明

sandbox