本サイトはJavaScriptを有効にしてご覧ください。
ゲスト 様
様
プラチナ会員
ゴールド会員
ブロンズ会員
レギュラー会員
本・CD・DVD・ブルーレイ・グッズの通販はHMV&BOOKS online
詳細検索はこちら
お気に入り登録して最新情報を手に入れよう!
照井一成 | 【HMV&BOOKS online】は、本・雑誌・コミックなどを取り扱う国内最大級のECサイトです!照井一成に関する最新情報・アイテムが満載。CD、DVD、ブルーレイ(BD)、ゲーム、グッズは、コンビニ受け取り送料無料!いずれも、Pontaポイント利用可能!お得なキャンペーンや限定特典アイテムも多数!支払い方法、配送方法もいろいろ選べ、非常に便利です!照井一成ならHMV&BOOKS online!!
1971年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、京都大学数理解析研究所准教授。専門は数理論理学(本データはこの書籍が刊行された当時に掲載されていたものです) 『コンピュータは数学者になれるのか? 数学基礎論から証明とプログラムの理論へ』より
プロフィール詳細を見る
%%message%%