本文へ移動します

鈴木 登志雄

氏 名鈴木 登志雄スズキ トシオすずき としお
職 位准教授
所 属首都大学東京都市教養学部 理工学系 数理科学コース
理工学研究科 数理情報科学専攻
 
専門・研究分野計算理論,計算量理論,数理論理学
最終学歴・学位筑波大学大学院博士課程数学研究科中退(1991)・博士(理学)[筑波大学,1999]
研究テーマ専門は計算理論と数理論理学です.
計算理論・計算量理論:強制条件の最小サイズの数理,アルゴリズム的ランダム性,免疫集合と単純集合の計算量
数理論理学に基づく応用数理:ゲーム木の探索コストに関する条件付き極値問題,形式言語理論

狭義の研究ではなく研究に関連した活動として,論理導入教育についての著述を行っています.

当研究室所属希望の学生諸君に関連が深い科目は計算の数理I・IIを筆頭に,アルゴリズムAなどです.
研究キーワード計算理論,数理論理学,計算複雑さ,乱択アルゴリズム,アルゴリズム的ランダム性
研究業績・著書・
論文、その他
それに準じる業績
『例題で学ぶ集合と論理』,森北出版 (2016).

『論理リテラシー』,培風館 (2009).

『ゲーデルと20世紀の論理学 (1)』,東京大学出版会 (2006,田中一之,田中尚夫ほかと共著).

『数学のロジックと集合論』, 培風館 (2003,田中一之と共著).

"Equilibrium points of an AND-OR tree: Under constraints on probability",
Annals of Pure and Applied Logic, 166, pp. 1150--1164 (2015) (with Y. Niida).

"Resource-bounded randomness and computable Dowd-type generic sets",
Information and Computation 242, pp. 227--248 (2015) (with M. Kumabe).

"Geometrical redundancy of street patterns based on threshold of isoperimetric ratio"
In: IAENG Transactions on Engineering Sciences: Special Issue of the International MultiConference of Engineers and Computer Scientists 2013 and World Congress on Engineering 2013, CRC Press (Leiden, The Netherlands), 2014, pp.91-100. ISBN971-1-138-00136-7 (with Yuji Hatakeyama).

"Threshold of Isoperimetric Ratio based on Compressibility via Invertible Affine Transformations"
In: Lecture Notes in Engineering and Computer Science: Proceedings of The World Congress on Engineering 2013, 3-5 July, 2013, London, UK, pp.211-215. ISBN978-988-19251-0-7. ISSN 2078-0958 (with Yuji Hatakeyama).

"The eigen distribution of an AND-OR tree under directional algorithms" , IAENG International Journal of Applied Mathematics 42(2), pp.122-128 (2012) (with Ryota Nakamura).

"Probability distributions achieving the equilibrium of an AND-OR tree under directional algorithms", In: 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).

"Recognizing tautology by a deterministic algorithm whose while-loop's execution time is bounded by forcing," Kobe Journal of Mathematics 15, pp. 91--102 (1998).
受 賞2012年4月, International Association of Engineers より Best paper award of the 2012 IAENG International Conference on Computer Science 受賞
主な学会活動日本数学会会員(1991-),同学会数学基礎論分科会運営委員(2004-2007),同学会 雑誌「数学」編集委員(2011-2013),同学会評議員(2015-).Association for Symbolic Logic 会員(1999-).Association for Computing Machinery 会員(1999-).European Association for Theoretical Computer Science 会員(2005-).日本応用数理学会会員(2006-).International Association of Engineers 会員 (2011-).
社会等との関わり2012-2015 都立桜修館中等教育学校 学校運営連絡協議会委員

2006 都市教養学部数理科学コース「高校生のための数学―夏の学校」講師
2010 数理情報科学専攻「第五回数理情報科学コロキウム」講師
2011 オープンユニバーシティー「日本人のための論理リテラシー」講師
2011 オープンラボ講演「数学・情報科学・哲学をまたいで広がるロジックの世界へ」講師
2012 オープンクラス 高校生のための数学-夏の学校 講演「乱択アルゴリズムの数理」講師
2013 オープンラボ講演「集合論の公理」講師
2014 オープンラボ講演「計算可能性理論」講師
2015 オープンラボ講演「形式言語理論:文法に潜む数理」講師
個人のURL
担当科目
  • 集合と論理
  • 集合と論理
  • 計算の数理I
  • 情報システムB
  • 計算の数理II
  • ※基盤数理科学概論(4)
オフィスアワー
研究室8号館675号室
内線番号内線
メールアドレス変換画像
(メールを送信される場合は●を@に変換してください)
研究室サイト等
取組状況平成27年度
researchmap
取組成果
ページトップへ