いことんど
@ikotondo
Followers
226
Following
72K
Media
743
Statuses
11K
どんとこい←👀。不完全性定理に興味があります。すうがく徒のつどいの運営です。F1の角田くんを応援しています。Aimer様大好きです。SUPER GT も好きです。nismo 推しです。
ぬ
Joined November 2017
不完全性定理の歴史についてまとめた年表図を、作成中ですが公開することにしました。 2025年度内での完成を目標に更新していきます。 https://t.co/9zWtC4BdcW
ikotondo.notion.site
PDF
1
10
30
Daily Akari 😊 Sat Dec 6, 2025 ✅Solved in 4:12✅ https://t.co/retpp8by1G
dailyakari.com
Light up, make happy.
0
0
1
【数学科の院生さんにアルバイトのお声掛け】 急遽人手が必要となった関係で、12/7の引用元のイベント@東京北千住を手伝っていただけるTAさんを探しています。
【数学カフェワークショップ】【参加費無料】 令和7年12月7日（日）に大学進学前の方々を対象とし、「数学カフェ」 を開催します😆 折り紙を使って現代数学の研究でも使われる「対称性」に親しむワークショップを行います。中学で学ぶ図形の対称性。なんの役にたつの？
1
13
16
公開されてるショーの写真では、お顔隠されてるから分からんかったんやけど、メイクもヘアメもみんなめっちゃ凄くて、超感動した。 ショーの間ずっとにこにこ止まらんかった。ずっと1人で「すごーい❣️🤯」ってなってた。
1
0
0
お友達のファッションショーに行ってきたんですが、出てる人みんな世界一輝いてて最高だた🥰💖✨🌍💃🪩💞 え〜〜〜❣️❣️❣️ 良すぎ〜〜〜〜〜❣️❣️❣️❣️❣️❣️
1
0
3
ふと思ったんですが、「地球上で最も長く生きた人」って英語で The person who lived the longest on the Earth やから確定記述で、なのでフレーゲの単称名だと思うんですが、これってフレーゲの量化理論でどうやって書き下すんだ？🤔 ほんで、こっから「x は人である」っていう一階述語を抜いた
1
0
1
アベプラをご覧いただいたのでしょうか。 白杖＝全盲、と思われがちですが、弱視や平衡感覚に障害のある方など、さまざまな理由で白状を使う人がいます。
白杖（はくじょう）を持って、スマホを見ている人に 「見えてるんじゃない？」 「うそつきやん」 という人がいるそうです。 もちろん、中心部分しか見えていなくて、その視力も良くない人もいます。しかし、全員が全く見えていないわけではありません。でも白杖は必要です。
1
77
222
インフルエンザHAワクチンを打ちます……💉 これを打ったら最後、あたしはもうPAを使えなくなります……🥲 でもインフルの予防のためには、背に腹は代えられません……😫 さようなら、排中律👋 さようなら、背理法👋 ようこそ、最小値原理と帰納法が同値じゃない世界……🌏
1
2
5
Daily Akari 😊 Thu Dec 4, 2025 ✅Solved in 5:22✅ https://t.co/retpp8by1G
dailyakari.com
Light up, make happy.
1
0
1