Ryota Akiyoshi（秋吉亮太）

港区⇒世田谷区⇒川崎市多摩区⇒世田谷区／研究者、専門：数学・論理学の哲学、数理論理学、哲学的論理学、京都学派、スマートシティ、ロボット倫理、自然言語処理など／趣味：フットサル、ピアノ、音楽鑑賞、etc...

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

砧市役所の前の丸亀製麺で子どもと夕食。夜は空いているのよね^_^

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

今日はミネミネ大先輩との授業のために三田へ。だいぶ暑いので、代々木から三田まで自転車で移動しただけで汗だく💦

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

お昼はチキンライス。なかなか美味しいのよね😋

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

なるほど、と思いました。大学院に入るまでには完全性定理とその応用（コンパクトネス、レーベンハイム&スコーレム）位は使えるように、ということでしょうか。>RTs

[ぴあのん @piano2683]

いつの間にか東大院試でもロジックが出題される優しい世界になっていたのか（それはそうと簡単すぎてby compactnessくらいしか書くことがない）

[佐久間 @keisankionwykip]

東大数理2026の数理論理学の答案を作成しました。
(1)は同値類をサイズごとに対応させるだけです。(2)はコンパクト性定理でモデルをとり、下方Löwenheim–Skolemで可算に落とすというモデル理論の王道展開です。(3)は(1),(2)の系で、Γの(構文論的)完全性が分かります。
ワイも「リッチ」になりたいな

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

夜はなんとかフットサル⚽️汗だく💦

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

こういう取り組みは素晴らしいですね。>RTs

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

今日は授業準備など。学生さまの質問を集計して回答を考える日。

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

@_jj1lis_uec (^^)

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

おお！

[型推栄 @_jj1lis_uec]

海南記

[Mai Sugimoto @MaiSugimoto4]

こういったことは様々な学会・大会で問題となっており、それを未然に防ぐために昨今Respectful Behavior Policy やCode of Conduct が策定され、大会の要項や現場で確認がなされるようになってきているのだと思います。
誰にとっても安心な環境作りは、中堅以上の研究者の義務かと思っています。

[igshrmshk @igshrmshk]

日本哲学会では、下記のグラウンドルールをwebページに掲載するとともに、各報告ごとに司会者が読み上げている。大変良い取り組みだと思う。

https://t.co/gTuOfz2MhT

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

夕方は子どものお迎えに。合間にバーガーキングで夕食🍔

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

今日は用事のために二子玉川へ。

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

自由が丘に来た時はいつもブラームスで洋食。定番のウィーン風カツレツ。ずっと変わらない味🎶

https://t.co/sz7tewi7e0

[Ryota Akiyoshi（秋吉亮太） @georg_logic]

@adamtakahashi ^_^