基本情報

所属
日本大学 理工学部 数学科 教授

研究者番号
90246835
J-GLOBAL ID
200901008480153935
researchmap会員ID
1000084564

委員歴

  1

論文

  11

MISC

  6

書籍等出版物

  4
  • 砂田利一, 石井仁司, 平田典子, 二木昭人, 森真 監訳 (担当:共訳) (原著:砂田利一 ・石井仁司 ・平田典子 ・二木昭人 ・森真 監訳)
    朝倉書店 2016年12月 (ISBN: 9784254111439)
  • 日本数学会編 (担当:分担執筆, 範囲:数学基礎論) (原著:日本数学会編)
    岩波書店 2007年3月15日 (ISBN: 9784000803090)
  • D.グリース, F.B.シュナイダー, 著, 難波完爾, 土居範久, 監訳 (担当:共訳) (原著:D.グリース F.B.シュナイダー 著 難波完爾 土居範久 監訳)
    日本評論社 2001年7月 (ISBN: 9784535783010)
  • Jan van Leeuwen, 編, 広瀬健, 他監 (担当:共訳, 範囲:時相論理と様相論理) (原著:Jan van Leeuwen 編 広瀬健 他監訳)
    丸善 1994年2月 (ISBN: 4621039202)

講演・口頭発表等

  40

所属学協会

  1