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

"Real closed fields via strong Solovay reducibility", 

To appear in Computability. Preprint: available at Miyabe's website.

*:corresponding author. 

(2025/ 4/12) New preprint: Masahiro Kumabe, Kenshi Miyabe (*), and Toshio Suzuki

"Quantifier Variations in Solovay Reducibility",

submitted to a journal. Preprint: avialable at Miyabe's website.

*:corresponding author. 

(2024/10/21) The following paper, published in 2022, appears at Tokyo Metropolitan University Academic Repository.

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 at Tokyo Metroplitan University Academic Repository.

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

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

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

(2016/10/ 9) ウェブサイトを新しいドメイン toshio-suzuki-logic.jp に移転しました。いまご覧になっているのは新しい方です。

• 「ろんりの相談室 大学１年生の真理値表と体系」 鈴木登志雄 著、日本評論社、2021年7月刊行。

  [ 内容紹介 ] 真理値表で消耗しない。体力温存でルールの要点を正面突破。くだけた表現への対策も忘れない。大学1年生の対話形式・論理入門。

  上記ページに読者のための３分スライド動画をいくつか掲載しています。

  (2021/ 7/29) Amazon で Kindle 版公開。

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

  序文「その集合，ベン図で表せますか？」と目次の紹介はこちら。 授業スケジュールの例および，用語の方言についての補足， 自習派のための板書写真， 発展的学習も掲載しています（プロパークラスについて補足を掲載しました）。正誤表を掲載しました（← 2018/ 9/ 3）。別添資料「数え上げ」を掲載しました（←New:2020/12/07）。有限集合の要素の個数，とくに数え上げにおける多項式の活用についての教材です。別添資料「真理値表による命題論理の初歩」を掲載（2018/11/12）。第１章の自然演繹の部分を飛ばして，代わりに真理値表で命題論理にアプローチしたい人のための教材です。

• 論理リテラシー 鈴木登志雄 著、培風館、2009年2月刊行。B6判。
• ゲーデルと２０世紀の論理学（１）ゲーデルの２０世紀 田中一之 編（田中一之・田中尚夫・鈴木登志雄・飯田隆・竹内外史・八杉満利子 著）、東京大学出版会、2006年7月刊行。A5判。 / 著者の一人である田中尚夫 名誉教授（法政大学）が瑞宝中綬章を受章しました。(2009/11/ 3)
• 数学のロジックと集合論 田中一之・鈴木登志雄 著、培風館、2003年12月刊行。A5判。

• 「数学科向け 論理学の洋書」数学セミナー2022年12月号 (2022), pp.30--32, 日本評論社.
• 「進路別・数学科１年生に薦める本」 数学セミナー増刊「数学好きな人のためのブックガイド」(2020), pp.36--41, 日本評論社.
• 「「否定命題を作れ」の解法を教えてください」 数学セミナー増刊「大学数学の質問箱」(2019), pp.98--102, 日本評論社. このムックからの派生作品が「ろんりの相談室 大学１年生の真理値表と体系」(2021)です．
• 「進路別・数学科１年生に薦める本」 数学セミナー増刊「数学ガイダンス２０１８」(2018), pp.25--29, 日本評論社.
• 「数理論理学（数学基礎論）」 数学セミナー増刊「数学ガイダンス２０１８」(2018), pp.91--95, 日本評論社.
• 「数理論理学（数学基礎論）１０の定理」 数学セミナー 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（外部サイト）
• 鈴木研究室の学生の修士論文など