首都大学東京Top ホーム 　　アクセス ｜ マップ ｜サイトマップ
TOKYO METROPOLITAN UNIVERSITY

教　員　紹　介

　（准教授）

担当科目 集合と論理、計算の数理I、計算の数理II、情報システムB、数理科学特別研究、基盤数理科学概論（４）、数理情報科学セミナー
最近の研究テーマ

計算理論・計算量理論・数理論理学
論理関数においてコストを最小化する点の集合について，その構造を調べていす．とくに，ゲーム木の探索コスト期待値，強制条件の最小サイズの数理，アルゴリズム的ランダム性を研究しています．当研究室での研究を志望する方は計算の数理I・II（計算可能性・計算複雑さ）を履修してください．このほか，アルゴリズムＡと解析学Ｃ（測度論）の履修もおすすめします． また，狭義の研究ではなく研究に関連した活動として，アルゴリズム的ランダム性の考え方を歪んだ格子図形（道路地図など）に適用する試みおよび，論理導入教育（論理リテラシー）についての工夫を行っています．
主な著書・論文 （2000年以降のもの）
著書
  • 「論理リテラシー」培風館 (2009) ISBN 978-4-563-00383-8
  • 「ゲーデルと20世紀の論理学(ロジック) (1) ゲーデルの２０世紀」, 東京大学出版会 (2006)．
    ISBN 4-13-064095-X（田中一之氏，田中尚夫氏ほかと共著）．
  • 「数学のロジックと集合論」, 培風館 (2003) ISBN 4-563-00337-9 (田中一之氏と共著)．

論文
  • Resource-bounded randomness and computable Dowd-type generic sets (abstract). The Bulletion of Symbolic Logic, to appear (with M. Kumabe).
  • Probability distributions achieving the equilibrium of an AND-OR tree under directional algorithms. Lecture Notes in Engineering and Computer Science: Proceedings of The International MultiConference of Engineers and Computer Scientists 2012, IMECS 2012, 14-16 March, 2012, Hong Kong, pp. 194-199. ISBN978-988-19251-1-4. ISSN 2078-0958 (with Ryota Nakamura).
  • Computable Dowd-type generic oracles. In: "Proceedings of the 11th Asian Logic Conference", World Scientific (Sigapore), 2011, pp.128--146. ISBN978-981-4360-53-1 (with M. Kumabe).
  • Weak randomness, genericity and Boolean decision trees.In: T. Arai et al. eds., "Proceedings of the 10th Asian Logic Conference", World Scientific (Sigapore), 2010, pp.322--344. ISBN978-981-4293-01-3 (with M. Kumabe).
  • Does truth-table of linear norm reduce the one-query tautologies to a random oracle, Archive for Mathematical Logic 47, pp. 159--180 (2008) (with M.Kumabe and T. Yamazaki).
  • Resource bounded immunity and simplicity,Theoretical Computer Science 347, pp. 90-129 (2005) (with T. Yamakami).
  • Bounded truth table does not reduce the one-query tautologies to a random oracle, Archive for Mathematical Logic 44, pp. 751--762 (2005).
  • Degrees of Dowd-type generic oracles, Information and Computation 176, pp. 66--87 (2002).
  • Forcing complexity: minimum sizes of forcing conditions, Notre Dame Journal of Formal Logic 42, pp. 117--120 (2001).
  • Complexity of the r-query tautologies in the presence of a generic oracle, Notre Dame Journal of Formal Logic 41, pp. 142--151 (2000).
キーワード 計算の理論，数理論理学の応用，計算複雑さ，確率アルゴリズム，ランダム性の度合い
研究室番号 ８号館 ６７５室
オフィスアワー

月曜日５時限 (16:20〜17:50)
内線電話番号 ３１７５　（代表 042-677-1111）
E-mailアドレス toshio-suzuki （この後に、@tmu.ac.jp)