サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
買ってよかったもの
www.kurims.kyoto-u.ac.jp/~ichiro
京都大学 数理解析研究所 助教 JST さきがけ 数学領域 研究者 NEWS RIMS ワークショップ "Mathematics for Pressing Problems in Computer Science" 開催! 日程: 2008.6.30(月)から2008.7.2(火)まで 場所: 京都大学数理解析研究所 詳しくはこちら Peter Aczel 教授講演会 2008.6.3 (火) 16:30 - 17:30 京都大学数理解析研究所 1階 115講義室 タイトル: Predicate Logic over a Type Setup 概要はこちら
このページを最初にブックマークしてみませんか?
『www.kurims.kyoto-u.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く