AIが数学の未解決問題を相次いで解決、証明の鍵は「形式化」

「ちょい置き」できるって最高だ！ ほぼ家具な空気清浄機、5.3万円でお迎えできます

2026/7/8

「とりあえず置いておこう」で乱れがちな我がキッチン。「山崎実業のブレッドケース」でこんなに整う

2026/7/8

こだわりのPC周辺機器やゲ昇降デスクの天面がガラス張りのショーケースに。お気に入りグッズを愛でながら仕事ができます

2026/7/8

全ポート10Gbpsでファンレスのスイッチングハブ、エレコムから2機種

2026/7/8

寄生虫の行動操作は河川に栄養素をもたらす―物質循環を駆動するメカニズムの解明に期待―

2026/7/8

肺がん脳転移の「免疫の壁」を併用免疫療法が乗り越える可能性―脳転移の免疫抑制環境と免疫療法の作用を解明―

2026/7/8

「令和9年度京都大学特色入試学生募集要項」を発表しました

2026/7/8

高等研究院創立10周年記念事業 特別講演会「知の未踏領域へ」を開催しました