2023.07.18
https://gyazo.com/0a7c19e656a9b1feda91bb9b0328a9ec
せぷてんばんはー
前：2023.07.17
後：2023.07.19
#日報
メモ
SLACS 2023
https://lambda.ski/slacs2023/
2023.08.31，2023.09.01
若手による数理論理研究集会2023
https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43
2023.09.09，2023.09.10
数学基礎論サマースクール 2023
http://kenshi.miyabe.name/kisoron_school_2023/
2023.09.11 ~ 2023.09.15
思った
https://www.asahi.com/ads/math2022/
田中一之先生監修(?)だからかなぜかポップな感じで結構硬派なことをやっていて企画目的が不明すぎる
consistentが無矛盾でinconsistentが矛盾なの未だに間違える
やった
関数と集合の再帰性についてのメモ
思った
自然言語での証明でLemmon流証明図っぽいものを書く
気持ちがあるね
自分のScrapboxに野獣先輩という単語が一回も登場したことなかったのかという意外な発見が
失敗！
ラーメン食べて元気だして勉強やるぞー！と思って大盛り食べたら普通に入らなくて家で安静にすることに…
いいね
【合作】やばい野獣すぎzone動画できた(神動画ができたとゆう意味W)※遠野もいる【死ぬまでに見たい音mad内定済み】音mad晒しイベント第180回記念　加藤純一軍団　開幕
https://nicothumb2img.vercel.app/image/sm42490280#.png https://nico.ms/sm42490280
長年Soundcloudでメチャクチャな音楽を聴きまくった結果、おれの身体はもう音圧がバキバキな音楽や音MADを聴くと無条件に「良かったな〜」と思うようになってしまっている
https://twitter.com/SnO2WMaN/status/1681263624978067456
ぽてととまよねーず
知った
矛盾許容（パラコンシステント）という言葉を論理学の分野（矛盾許容論理）以外で初めて見た
価値多層社会の実現に必要な哲学思想の構築を目指し一般社団法人 京都哲学研究所を設立
日本電信電話株式会社（本社：東京都千代田区、代表取締役社長：島田 明、以下 NTT）は、西洋的価値観と日本・東アジアの価値観が矛盾許容的に共存する価値多層社会、パラコンシステント・ワールドの実現を目指し、京都大学出口康夫教授（文学研究科哲学専修／副研究科長、副プロボスト）と共に、一般社団法人 京都哲学研究所（以下、京都哲学研究所）を設立します。