鈴木登志雄 (logic)

2017/ 9/22

• English version
• 授業（学内サイト）
• 近況
• 著書・一般雑誌記事
• 著書
• 一般雑誌記事
• 研究
  • researchmap（外部サイト）
    photo by Akira Iwata (2017)
  • 研究内容紹介
  • このページ内にある研究情報

首都大学東京 理工学研究科 数理情報科学専攻 准教授。博士（理学）（筑波大学 数学研究科）。

近況

• (2017/ 9/22) 以下のプレプリントをアップロードしました。 "Non-depth-first search against independent distributions on an AND-OR tree" arXiv:1709.07358[cs.DS].

  この研究をめぐるこれまでの活動：

  • (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).

• (2017/ 3/ 6) 新刊紹介。数学セミナー増刊「数学ガイダンス２０１７」（日本評論社）が発売されました。 第２章「イントロダクション大学数学」の中の「数理論理学（数学基礎論）」（pp.132--136）を執筆担当しました。この記事は2011年6月号の同名記事および，「数学ガイダンス２０１６」の同名記事を加筆修正したものです。

• (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/ 9/18) 学会で講演。 "Separation of parallel advice and serial advice on real-time deterministic context-free languages," 日本数学会秋季総合分科会, 関西大学。

  • (2015/11/20) 数理論理学セミナー（東京工業大学 大岡山キャンパス）で講演。「非一様な文脈自由言語」。

  • (2015/10/23) 仙台ロジックセミナーで講演。 "Non-uniform context-free languages"。

  • (2015/ 9/16) 学会で講演。 "A solution to Yamakami's problem on advised context-free languages," 日本数学会秋季総合分科会, 京都産業大学。

  • (2015/ 2/2) プレプリントを公開。 "A solution to Yamakami's problem on advised context-free languages" arXiv:1502.00367[cs.FL].

• (2016/ 1/31) 新刊紹介。鈴木登志雄「例題で学ぶ集合と論理」森北出版。 序文「その集合，ベン図で表せますか？」と目次の紹介はこちら。 授業スケジュールの例および，用語の方言についての補足， 自習派のための板書写真， 発展的学習（←New:2017/1/25）も掲載しています（プロパークラスについて補足を掲載しました）。

  この本をめぐるこれまでの動き：

  • 2016年1月29日発売。アマゾンでは「なか見！検索」で序文，目次および第０章（高校までの復習と考察）の大部分ほかを閲覧可能になりました。

  • 1月23日頃から店頭およびオンライン書店で順次，発売開始しました。

  • (2016/1/22) 書泉グランデMATHさんがいち早く入荷を tweetしました。

著書・一般雑誌記事

• 著書
  • 例題で学ぶ集合と論理 鈴木登志雄 著、森北出版、2016年1月刊行。菊判(A5より少し大きい判)。

  • 論理リテラシー 鈴木登志雄 著、培風館、2009年2月刊行。B6判。
  • ゲーデルと２０世紀の論理学（１）ゲーデルの２０世紀 田中一之 編（田中一之・田中尚夫・鈴木登志雄・飯田隆・竹内外史・八杉満利子 著）、東京大学出版会、2006年7月刊行。A5判。 / 著者の一人である田中尚夫 名誉教授（法政大学）が瑞宝中綬章を受章しました。(2009/11/ 3)
  • 数学のロジックと集合論 田中一之・鈴木登志雄 著、培風館、2003年12月刊行。A5判。
• 一般雑誌記事
  • 「数理論理学（数学基礎論）１０の定理」 数学セミナー 2017年8月号 (2017), pp.24--27, 日本評論社.
  • 「数理論理学（数学基礎論）」 数学セミナー増刊「数学ガイダンス２０１７」(2017), pp.132--136, 日本評論社.
  • 「数理論理学（数学基礎論）」 数学セミナー増刊「数学ガイダンス２０１６」(2016), pp.99--103, 日本評論社.
  • 「進路別・数学科１年生に薦める本」 数学セミナー 2015年4月号 (2015), pp.23--27, 日本評論社.
  • 「書評　川添愛　著：『白と黒のとびら -- オートマトンと形式言語をめぐる冒険』」 数学通信 第18巻 第4号 (2014), pp.106--108, 日本数学会.
  • 「数学の言葉を習得するための論理入門」 数学セミナー 2012年6月号 (2012), pp.8--12, 日本評論社.
  • 「数理論理学（数学基礎論）」 数学セミナー 2011年6月号 (2011), pp.22--25, 日本評論社.
  • 「ランダムネスと計算可能性」 数学セミナー 2011年2月号 (2011), pp.22--26, 日本評論社.

研究

• 専門分野：計算理論、数理論理学（数学基礎論）、計算量理論
• 所属学会（外部サイト）
  • 日本数学会 数学基礎論 分科会
  • Association for Symbolic Logic
  • Association for Computing Machinery
    • SIGACT（アルゴリズム・計算理論分科会）
  • European Association for Theoretical Computer Science
  • 日本応用数理学会
  • International Association of Engineers
• 研究業績
  • 主要な学術論文
  • 学位論文・日本語出版物 等
  • 口頭発表：researchmap（外部サイト）
  • 鈴木研究室の学生の修士論文など
• 科研費補助金（外部サイト）
• 略歴

リンク

• 首都大学東京 理工学研究科 数理情報科学専攻（都市教養学部 理工学系 数理科学コース）
• 同専攻ウェブサイトにおける鈴木登志雄の項目
• 数学基礎論サマースクール2012「計算可能性とランダムネス」（外部サイト）。
• ページ先頭

toshio-suzuki[at]tmu[dot]ac[dot]jp