新一の「心の一票」
PR
Calendar
Keyword Search
Category
< 新しい記事
新着記事一覧(全33件)
過去の記事 >
Leanによる形式化は、長期的な検証や説明… 2026.01.01
数学的主張の論理構造の追跡可能性=説明… 2022.01.01
宇宙際タイヒミューラー理論(IUTeich)の… 2020.01.05