数理論理学おもんないけど向いてるかも
from 2026/05/18
Summer498.iconさんって定理証明支援系まわりのこと研究してたんだっけtakker.icon
きになる
Summer498.icon
してない
なんなら定理証明支援系に近い数理論理学の授業をつまらないとよく悪口を言っていた
授業で扱われる内容が当たり前過ぎておもんないみたいな愚痴を井戸に流していたはず
数理論理学関連ではずっと天才系なろう主人公みたいなこと言ってる気がする
「これくらい当たり前だろ」
「ずっと当たり前のこと言ってて面白くない」
「もっと面白いことないの」
「なんでみんな頭かかえてるの」
授業で出る問題の例が悪い気もするんだけど
なんとなく、だからこそ向いているのではないかという気はする
理解できることに対して面白みを見出さず、理解できない物、更には理解できなかったけど理解できたものに対して面白みを見出す
最初から最後まで「あたりまえ体操やろ」と思いながら何がおもろいねんと愚痴っているのは寧ろめっちゃ向いてそう