鈴木 登志雄

J-GLOBALへ         更新日: 17/10/28 02:33
 
アバター
研究者氏名
鈴木 登志雄
 
スズキ トシオ
URL
http://toshio-suzuki-logic.jp/index-j.html
所属
首都大学東京
部署
理工学研究科 数理情報科学専攻
職名
准教授
学位
理学修士(筑波大学), 博士(理学)(筑波大学)

研究分野

 
 

経歴

 
2006年4月
 - 
現在
首都大学東京 准教授
 
1999年10月
 - 
2006年3月
大阪府立大学 講師
 
1991年4月
 - 
1999年9月
大阪府立大学 助手
 

学歴

 
 
 - 
1991年
筑波大学 数学研究科 数学
 
 
 - 
1989年
京都大学 理学部 数学
 

委員歴

 
2015年3月
 - 
2017年2月
日本数学会  評議員
 
2012年4月
 - 
2016年3月
都立桜修館中等教育学校  学校運営連絡協議会委員
 
2011年4月
 - 
2013年6月
日本数学会  数学基礎論および歴史分科会運営委員・雑誌「数学」編集委員
 
2004年10月
 - 
2007年9月
日本数学会  数学基礎論および歴史分科会運営委員
 

受賞

 
2012年5月
International Association of Engineers Best paper award of the 2012 IAENG International Conference on Computer Science
 

論文

 
鈴木 登志雄
Annals of the Japan Association for Philosophy of Science   25 79-88   2017年3月   [査読有り][招待有り]
Toshio Suzuki
IAENG International Journal of Applied Mathematics   46(2) 187-193   2016年5月   [査読有り]
Toshio Suzuki and Yoshinao Niida
Annals of Pure and Applied Logic   166(11) 1150-1164   2015年8月   [査読有り]
Masahiro Kumabe and Toshio Suzuki
Information and Computation   242 227-248   2015年6月   [査読有り]
Toshio Suzuki and Yuji Hatakeyama
IAENG Transactions on Engineering Sciences: Special Issue of the International MultiConference of Engineers and Computer Scientists 2013 and World Congress on Engineering 2013   91-100   2014年4月   [査読有り][招待有り]
Toshio Suzuki and Yuji Hatakeyama
Lecture Notes in Engineering and Computer Science: Proceedings of The World Congress on Engineering 2013, WCE 2013, 3--5 July, 2013,London, UK   211-215   2013年7月   [査読有り]
Resource-bounded randomness and computable Dowd-type generic sets
Toshio Suzuki (with M. Kumabe)
The Bulletin of Symbolic Logic   19(2) 281-281   2013年6月   [査読有り]
Probability distributions on an AND-OR tree under directional algorithms
Toshio Suzuki and Ryota Nakamura
IAENG Transactions on Electrical Engineering, World Scientific   1 70-83   2013年1月   [査読有り][招待有り]
Toshio Suzuki and Ryota Nakamura
IAENG International Journal of Applied Mathematics   42(2) 122-128   2012年5月   [査読有り][招待有り]
Probability distributions achieving the equilibrium of an AND-OR tree under directional algorithms
Toshio Suzuki and Ryota Nakamura
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   194-199   2012年3月   [査読有り]
Masahiro Kumabe and Toshio Suzuki
Proceedings of the 11th Asian Logic Conference   128-146   2011年11月   [査読有り]
Computable Dowd-type generic oracles
Masahiro Kumabe and Toshio Suzuki
The Bulletin of Symbolic Logic   16 295-296   2010年   [査読有り]
Weak randomness, genericity and Boolean decision trees
Toshio Suzuki and Masahiro Kumabe
T. Arai et al. eds., "Proceedings of the 10th Asian Logic Conference", World Scientific (Sigapore)   322--344   2010年
Weak randomness, genericity and Boolean decision trees
Masahiro Kumabe and Toshio Suzuki
The Bulletin of Symbolic Logic   15 259--260   2009年
M. Kumabe, T. Suzuki and T. Yamazaki
Archive for Mathematical Logic   47 159-180   2008年
T. Suzuki
Archive for Mathematical Logic   44 751-762   2005年
T. Yamakami and T. Suzuki
Theoretical Computer Science   347 90-129   2005年
Resource bounded immunity and simplicity (extended abstract)
Toshio Suzuki and Tomoyuki Yamakami
In: J. Levy et al. eds., "Exploring New Frontiers of Theoretical Informatics" (Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science (TCS2004)), Kluwer Academic Publishers.   81-95   2004年
Information and Computation   176(1) 66-87   2002年
Forcing complexity: minimum sizes of forcing conditions
Notre Dame Journal of Formal Logic   42(2) 117-120   2001年

Misc

 
数理論理学(数学基礎論)10の定理
鈴木 登志雄
数学セミナー   56(8) 24-27   2017年7月   [依頼有り]
数理論理学(数学基礎論)
鈴木 登志雄
数学セミナー増刊「数学ガイダンス2017」   132-136   2017年3月
数理論理学(数学基礎論)
鈴木 登志雄
数学セミナー増刊「数学ガイダンス2016」   99-103   2016年3月
AND−OR木の均衡点:確率制約がある場合
鈴木 登志雄・仁井田 哲尚
京都大学数理解析研究所講究録   1950 34-39   2015年6月
進路別・数学科1年生に薦める本
鈴木 登志雄
数学セミナー   54(4) 23-27   2015年3月   [依頼有り]

書籍等出版物

 
例題で学ぶ集合と論理
鈴木 登志雄
森北出版   2016年1月   ISBN:978-4-627-06191-0
論理リテラシー
鈴木登志雄
培風館   2009年2月   ISBN:978-4-563-00383-8
ゲーデルと20世紀の論理学(1) ゲーデルの20世紀
田中一之(編集)、田中尚夫、鈴木登志雄、飯田隆、竹内外史、八杉満利子 (担当:共著, 範囲:第I部 ゲーデルと日本 明治以降のロジック研究史)
東京大学出版会   2006年7月   ISBN:4-13-064095-X
数学のロジックと集合論
田中一之、鈴木登志雄 (担当:共著)
培風館   2003年12月   ISBN:4-563-00337-9

講演・口頭発表等

 
Non-depth-first search of an AND-OR tree
鈴木 登志雄
Workshop on Computability Theory and the Foundations of Mathematics   2017年9月11日   
HF上のデルタ1関係
鈴木 登志雄
数学基礎論サマースクール2017   2017年8月7日   
Separation of parallel advice and serial advice on real-time deterministic context-free languages
鈴木 登志雄
日本数学会秋季総合分科会(関西大学)   2016年9月18日   
A solution to Yamakami's problem on advised context-free languages
Toshio Suzuki
日本数学会2015年度秋季総合分科会(京都産業大学)   2015年9月16日   
Kazuyuki Tanaka's work on AND-OR trees and subsequent development [招待有り]
Toshio Suzuki
Computability Theory and Foundations of Mathematics 2015 (CTFM 2015, Tokyo Institute of Technology, Ookayama campus) (東京工業大学)   2015年9月10日   
Equilibrium points of an AND-OR tree: under constraints on probability [招待有り]
Toshio Suzuki
ELC Seminar (Tokyo Institute of Technology, Tamachi campus)   2014年12月4日   
AND-OR木の均衡点:確率制約がある場合
鈴木 登志雄(仁井田哲尚氏と連名)
RIMS研究集会 証明論・計算論とその周辺   2014年12月24日   
Equilibrium points of an AND-OR tree: under constraints on probability
Toshio Suzuki
Workshop on Mathematical Logic on the Occasion of Sakaé Fuchino's 60th Birthday (Kobe Univ.)   2014年11月17日   
Equilibrium points of an AND-OR tree: under constraints on probability
Toshio Suzuki (with Yoshinao Niida)
日本数学会2014年度秋季総合分科会(広島大学)   2014年9月27日   
Equilibrium points of an AND-OR tree: under constraints on probability
Toshio Suzuki (with Yoshinao Niida)
日本応用数理学会2014年度年会(政策研究大学院大学)   2014年9月3日   
Equilibrium points of an AND-OR tree: under constraints on probability
Toshio Suzuki (with Yoshinao Niida)
The 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2014, Université Pierre et Marie Curie), poster session   2014年6月16日   
Resource-bounded forcing theorem and randomness
SUZUKI Toshio (with M. Kumabe)
Computability Theory and Foundations of Mathematics 2014 (CTFM 2014, Tokyo Institute of Technology, Ookayama campus)   2014年2月17日   
アフィン圧縮可能性に基づく街路パターン複雑性
鈴木 登志雄 (with Yuji Hatakeyama)
日本数学会2013年度秋季総合分科会(愛媛大学)   2013年9月26日   
アフィン圧縮と複雑性
鈴木 登志雄
高知ロジックワークショップ2013(高知工科大学)   2013年9月23日   
簡潔な四辺形でない多角形判別のしきい値:街路パターン複雑性への応用
鈴木 登志雄 (with Yuji Hatakeyama)
日本応用数理学会2013年度年会(アクロス福岡)   2013年9月9日   
Threshold of isoperimetric ratio based on compressibility via invertible affine transformations
Toshio Suzuki and Yuji Hatakeyama
World Congress on Engineering 2013 (WCE 2013, Imperial College London, London, UK)   2013年7月5日   
Forcing complexity
Toshio Suzuki (with M. Kumabe)
ELC Workshop on Randomness and Probability Through Computability (RPTC2013, The Univ. of Tokyo, Hongo campus)   2013年5月14日   
Resource-bounded randomness and computable Dowd-type generic sets
鈴木 登志雄 (with M. Kumabe)
日本数学会2012年度秋季総合分科会(千葉大学)   2012年9月20日   
The eigen distribution of an AND-OR tree under directional algorithms
鈴木 登志雄 (with R. Nakamura)
日本数学会2012年度秋季総合分科会(千葉大学)   2012年9月20日   
Probability distributions achieving the equilibrium of an AND-OR tree under directional algorithms
鈴木 登志雄 (with Ryota Nakamura)
The International MultiConference of Engineers and Computer Scientists 2012 (IMECS 2012, Hong Kong)   2012年3月   

競争的資金等の研究課題

 
ブール値探索コストの条件付き極値問題:資本対リスク比による手法の展開
科学研究費補助金
研究期間: 2016年10月 - 2020年3月    代表者: 鈴木 登志雄
ゲーム木における固有分布一意性の破れ:計算資源限定マルチンゲールによる研究
科学研究費補助金
研究期間: 2010年 - 2014年    代表者: 鈴木登志雄
コーエン型強制条件のサイズの数理:ランダム性と計算複雑さへの応用
科学研究費補助金
研究期間: 2005年 - 2007年    代表者: 鈴木登志雄
免疫集合と単純集合の計算複雑さ
科学研究費補助金
研究期間: 2002年 - 2004年    代表者: 鈴木登志雄
クエリー記号付きブール式の計算複雑さ
科学研究費補助金
研究期間: 1999年 - 2000年    代表者: 鈴木登志雄