授業（学内サイト）
- 著書
- 一般雑誌記事
researchmap（外部サイト）
photo by Akira Iwata (2017)-
研究内容紹介 - 研究室の紹介（研究室選びの参考に）
- このページ内にある研究情報
2018/ 5/ 6
授業（学内サイト）
researchmap（外部サイト）
研究内容紹介
首都大学東京 理学研究科 数理科学専攻 准教授。博士（理学）（筑波大学 数学研究科）。
おしらせ 2018年6月2日（土）に大学院説明会があります（事前申込不要、詳細はこちら）。しかし当日、私（鈴木登志雄）は別の会議のため、学外にいます。当研究室の大学院に興味のある方は、ご連絡いただければ幸いです。toshio-suzuki＠tmu.ac.jp
(2018/ 4/18) 以下のプレプリントをアップロードしました。 "Independent distributions on a multi-branching AND-OR tree of height 2" arXiv:1804.06601[cs.DS] (2018).
(2018/ 4/ 1) 改組により所属名称が変わりました。
(2018/ 3/16) 国際研究集会で以下の講演をしました。 "An AND-OR-tree connected to leaves via communication channels". International MultiConference of Engineers and Computer Scientists 2018, Hong Kong, 14--16 March, 2018. 付記：(2018/ 4/25) 論文の open access が始まりました。上記集会名をクリックするとご覧になれます。
(2018/ 3/ 6) 新刊紹介。数学セミナー増刊 「数学ガイダンス２０１８」 （日本評論社）が発売されます。 第１章「大学生に薦める数学の教科書」の中の「進路別・数学科１年生に薦める本」（pp.25--29）および、 第２章「イントロダクション大学数学」の中の「数理論理学（数学基礎論）」（pp.91--95）を執筆担当しました。いずれも、過去の号の同名記事を加筆修正したものです。 前者：2015年4月号。 後者：2011年6月号、増刊号「数学ガイダンス２０１６」、増刊号「数学ガイダンス２０１７」。
(2017/ 9/22) 以下のプレプリントをアップロードしました。 "Non-depth-first search against independent distributions on an AND-OR tree" arXiv:1709.07358[cs.DS].
この研究をめぐるこれまでの活動：
(2018/ 3/18) 学会で講演。 "Non-depth-first search of an AND-OR tree". 日本数学会2018年度年会，東京大学（駒場キャンパス），2018/3/18--3/21．
(2017/ 9/11) 研究集会で講演。
"Non-depth-first search of an AND-OR tree,"
Workshop on Computability Theory and the Foundations of Mathematics
(8 - 12 Sep 2017), National University of Singapore.
スライド,
動画.
(2017/ 8/5-8/7) 数学基礎論サマースクールを開催しました。テーマ「計算理論」，２０１７年８月５日（土）から７日（月），明治大学 駿河台キャンパス リバティタワー７階の１０７３室。 詳しくはここをクリック。（講義資料あり。講演風景の写真を掲載しました（8/22）)。
(2017/ 7/12) 雑誌『数学セミナー』2017年8月号に記事「数理論理学（数学基礎論）１０の定理」が掲載されました (pp.24--27)。
(2017/ 3/31) 以下の論文が出版されました。これは survey paper です。
"Kazuyuki Tanaka's work on AND-OR trees and subsequent developments,"
Annals of the Japan Association for Philosophy of Science, 25, pp.79--88 (2017).
(2016/10/ 9) ウェブサイトを新しいドメイン toshio-suzuki-logic.jp に移転しました。いまご覧になっているのは新しい方です。
以下の大学受験生向け進学情報誌に，当研究室の紹介記事が掲載されました。『栄冠めざしてSPECIAL特集号（理工・情報・生命・環境系）』河合塾/KEIアドバンス，p.17。
(2016/ 5/14) 以下の論文が出版されました。 "A solution to Yamakami's problem on non-uniform context-free languages,"
IAENG International Journal of Applied Mathematics, 46, pp. 187--193 (2016).
例題で学ぶ集合と論理
鈴木登志雄 著、森北出版、2016年1月刊行。菊判(A5より少し大きい判)。
序文「その集合，ベン図で表せますか？」と目次の紹介はこちら。
授業スケジュールの例および，用語の方言についての補足，
自習派のための板書写真，
発展的学習（←New:2017/1/25）も掲載しています（プロパークラスについて補足を掲載しました）。
論理リテラシー
鈴木登志雄 著、培風館、2009年2月刊行。B6判。
ゲーデルと２０世紀の論理学（１）ゲーデルの２０世紀
田中一之 編（田中一之・田中尚夫・鈴木登志雄・飯田隆・竹内外史・八杉満利子 著）、東京大学出版会、2006年7月刊行。A5判。
/
著者の一人である田中尚夫 名誉教授（法政大学）が瑞宝中綬章を受章しました。(2009/11/ 3)
数学のロジックと集合論
田中一之・鈴木登志雄 著、培風館、2003年12月刊行。A5判。
toshio-suzuki[at]tmu[dot]ac[dot]jp