鈴木登志雄 (logic)

2024/10/22          (日本語 | English

授業(学内)     researchmap(外部)
                            photo by Akira Iwata (2017)
blackboardblackboard       snapshotsnapshot

東京都立大学 理学研究科 数理科学専攻 准教授。博士(理学)(筑波大学 数学研究科)。


おすすめ記事

『例題で学ぶ集合と論理』森北出版 (2016) 正誤表(2024年10月16日更新)と補足資料.

『ろんりの相談室 大学1年生の真理値表と体系』日本評論社 (2021) 正誤表(2023年9月11日更新)と補足資料.

近況

  • (2024/10/21) 2022年に出版された以下の論文が都立大の機関リポジトリに掲載されました.

    Hiroyuki Imai, Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa and Toshio Suzuki

    "Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension"

    In: NingNing Peng, Kazuyuki Tanaka, Yue Yang, Guohua Wu and Liang Yu eds., Computability Theory and Foundations of Mathematics Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics The 9th International Conference on Computability Theory and Foundations of Mathematics, Wuhan, China, 21 – 27 March 2019, pp.97-121, World Scientific, Singapore (2022).

    Repository version: available on Tokyo Metroplitan University Academic Repository.

    DOI (of the proceeding book):  https://doi.org/10.1142/12917

  • (2024/10/16) 『例題で学ぶ集合と論理』第1版第1刷正誤表 を改訂しました。先頭に②がある項目は第1版第2刷(2020年4月1日発行)に反映済みです。
  • (2024/10/15) Masahiro Kumabe, Kenshi Miyabe (*), and Toshio Suzuki

    "Real closed fields via strong Solovay reducibility", 

    preprint, submitted to a journal.

    *:corresponding author. 

  • (2024/ 9/16) 鈴木登志雄, 伊藤風輝 「形状制約なしAND-OR木に関する関する均衡値不等式」 

    口頭発表, 日本応用数理学会2024年度年会(京都大学).

  • (2024/ 5/30) Fuki Ito and Toshio Suzuki

    "Separation and collapse of equilibria inequalities on AND–OR trees without shape constraints", 

    preprint, arXiv:2405.20138 [cs.AI].

  • (2024/ 5/23) Masahiro Kumabe, Kenshi Miyabe (*), and Toshio Suzuki

    "Solovay reducibility via Lipschitz functions and signed-digit representation", 

    To appear in Computability. Preprint: available on Meiji University Academic Repository.

    *:corresponding author. 

  • (2024/ 3/18) 鈴木登志雄 「自由な形のAND-OR木における均衡値(2)」

    口頭発表, 日本数学会2024年度年会(大阪公立大学)

  • (2023/ 9/22) 鈴木登志雄 「自由な形のAND-OR木における均衡値」

    口頭発表,日本数学会2023年度秋季総合分科会(東北大学)

  • (2023/ 9/11) 鈴木登志雄「計算論速習」

    口頭発表(チュートリアル講演),数学基礎論サマースクール(明治大学)

  • (2022/11/12)「数学科向け 論理学の洋書」 数学セミナー2022年12月号 (2022), pp.30--32, 日本評論社.

  • (2022/ 8/ 1) 増刷になりました。 ゲーデルと20世紀の論理学(1)ゲーデルの20世紀 田中一之 編(田中一之・田中尚夫・鈴木登志雄・飯田隆・竹内外史・八杉満利子 著)、東京大学出版会、2006年7月刊行。

  • (2021/ 7/14) 新刊案内。以下の単行本が出版されました。 「ろんりの相談室 大学1年生の真理値表と体系」日本評論社。

  • (2019/ 9/25) toshio suzuki 下線付き部分集合の記号 資料「下線付き部分集合の記号はこの頃では用いられないのか」をアップロードしました。部分集合の記号の方言についての記事です。

  • (2018/ 4/25) "Forcing complexity: minimum sizes of forcing conditions" (2001)の正誤表をアップデートしました。「主要な学術論文」の項目[5]をご覧ください。
  • (2016/10/ 9) ウェブサイトを新しいドメイン toshio-suzuki-logic.jp に移転しました。いまご覧になっているのは新しい方です。

  • 以下の大学受験生向け進学情報誌に,当研究室の紹介記事が掲載されました。 『栄冠めざしてSPECIAL特集号(理工・情報・生命・環境系)』河合塾/KEIアドバンス,p.17。

著書・一般雑誌記事


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