dos

京都在住の自営業。一匹狼のシステムインタグレーターでインフラ屋のはしくれ。主にネットワーク管理の仕事をしていて起きているときはほぼネットワークに接続している。フォロー、RT、ふぁぼ等ご自由に。なぜフォロー？→どこか（リアル、IRC、UO、dol）で会うか会話。

[dos @dos_jp]

黄泉のツガイ 15話上映会 / ニコ生視聴中 https://t.co/HdGB41cUhD

[dos @dos_jp]

天幕のジャードゥーガル 第4幕上映会 / ニコ生視聴中 https://t.co/ZBECisYYNM

[dos @dos_jp]

幼女戦記Ⅱ 2話上映会 / ニコ生視聴中 https://t.co/EOwEV6qhlj

[dos @dos_jp]

黒猫と魔女の教室 第14話「レグルス家のメイド」
https://t.co/JoN6lbCILr
#ニコニコ動画

[dos @dos_jp]

きみが死ぬまで恋をしたい 2話上映会 / ニコ生視聴中 https://t.co/niQJiAZmZ9

[dos @dos_jp]

猫と竜 3話上映会 / ニコ生視聴中 https://t.co/SVgNEUjTFa

[dos @dos_jp]

「花織さんは転生しても喧嘩がしたい」 第1話「恋人たちの予感」
https://t.co/I3qAP44cQM
#ニコニコ動画

[dos @dos_jp]

骸骨騎士様、只今異世界へお出掛け中Ⅱ 2話上映会 / ニコ生視聴中 https://t.co/n7lhG20CBw

[dos @dos_jp]

レッツゴー怪奇組 第2話「第二怪」
https://t.co/4y6wSQc1Hs
#ニコニコ動画

[dos @dos_jp]

鎧真伝サムライトルーパー 14話上映会 / ニコ生視聴中 https://t.co/ERj0S7RBgZ

[dos @dos_jp]

メビウス・ダスト 2話上映会 / ニコ生視聴中 https://t.co/G4zUc53BKT

[dos @dos_jp]

才女のお世話 高嶺の花だらけな名門校で、学院一のお嬢様(生活能力皆無)を陰ながらお世話することになりました 2話上映会 / ニコ生視聴中 https://t.co/0F9vRFQsXz

[dos @dos_jp]

透明な夜に駆ける君と、目に見えない恋をした。 2話上映会 / ニコ生視聴中 https://t.co/qLrFYpGXVn

[dos @dos_jp]

ワールド イズ ダンシング 第三番上映会 / ニコ生視聴中 https://t.co/WYKPKXYDaO

[M.Aono%💉モモモモモ(XBB 1.5) @aomonoya]

おー祇園祭な広告@地下鉄四条

[Fumiharu Kato 加藤文元（Bungen） @FumiharuKato]

本日の記者会見のまとめです：
我々の過去2年間にわたる取り組みの結論ですが、IUT論文において定理3.11から系3.12に至る論証のコンピューター形式化は現状では不可能です。しかし、この点に関する望月氏の追加説明が今も続いているため、現時点では最終的な判断を留保しています。

今回の記者会見でLANAが示した重要な成果の一つは、IUT理論における決定的な部分の論証について、IUTの専門家でない数学者たちが執筆した、一般の数学者にも理解しやすい長さの資料を提供したことです。

その資料には、2018年のScholze-Stix報告書との比較も含まれています。

記者会見の映像：
YouTube (日本語チャンネル)https://t.co/tJt3BuNMIF
YouTube (英語チャンネル) https://t.co/JB3jKwXzPe
ニコニコ生放送(日本語のみ) https://t.co/2F8Sws2fVJ

LANA報告書：
https://t.co/pZeHJirbUO

[ZEN大学 @univ_ZEN]

＼📚ZEN数学センター、中間報告書を公開／

京都大学の望月教授が提唱した #IUT理論 の
コンピューターによる検証を目指す
「LANAプロジェクト」

現時点での評価、残された課題、
Scholze–Stix報告書との関係を
中間発表として公開しました。

詳細・報告書全文はこちらから👇
https://t.co/xYuvyetTk3

[dos @dos_jp]

炎の闘球女 ドッジ弾子 2話上映会 / ニコ生視聴中 https://t.co/EZon84jE8R

[dos @dos_jp]

ヤニねこ 3話上映会 / ニコ生視聴中 https://t.co/6YpH1KiKjd

[dos @dos_jp]

ヘルモード～やり込み好きのゲーマーは廃設定の異世界で無双する～2nd Season #14「新たな出会い」
https://t.co/NxvbNWPqzS
#ニコニコ動画