曇りなき眼で見定めブログ

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です! お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

2021-04-25から1日間の記事一覧

【感想】劇場版『名探偵コナン 緋色の弾丸』を観ましたよ【ふつうにネタバレ】

おもしろかった! 観る前 観た感想 細々したところ コナン映画って… 観た後 観る前 私はコナンはテレビアニメをそこそこ見ている程度で、原作は読んでいないし細かい設定まで追えていない。そしてめちゃくちゃ久しぶりに劇場でコナンの映画を観た。前に観た…

ウォルトン『フィクションとは何か』読書会記録其ノ四・第1章5節まで(復習編)

ウォルトン『フィクションとは何か』読書会記録其ノ参・第1章5節まで(予習編) - 曇りなき眼で見定めブログの復習 解釈を伴う鑑賞と二次創作は、想像活動という観点からは明確には分けられない。表象体が想像活動を促したりオブジェクトとなったり規則を定…

「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ四「判断の形式の解釈」「命題」(復習編)

予習編はこちら 「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ参「判断の形式の解釈」「命題」(予習編) - 曇りなき眼で見定めブログ 集合は型だと思ったほうがいいかも 3つの哲学 何がカノニカルな要素か? equality カノニカル…