师资信息详情
铃木敏之铃木敏行
- 男,1963年出生
- 职位:教授
- 职位:通识教育系主任
- 隶属关系:通识教育课堂
教师简历
| 学位 | 理学硕士 | |
|---|---|---|
| 学术背景 | 东京工业大学理学院毕业 (1986) 修完学分后从筑波大学数学研究生院退学(1993 年) |
|
| 工作经历 | 玉阁国立海洋科技学院讲师(1993-2000) 玉阁国立工学院通识教育系助理教授(2000-2006) XK星空助理教授(2006-2007) XK星空副教授(2007-2011) |
|
| 资质 | ||
| 专业 | 数学基础理论(证明论) | |
| 实验室 | 名称 | |
| 详情 | ||
| 附属学术会 | 日本数学会 | |
水平滑动即可查看表格的其余部分。
今年讲授的讲座
| 教师/小组 | 数学1/ |
|---|---|
| 研究生院 |
水平滑动即可查看表格的其余部分。
研究种子
| 可讨论的领域 | 数学,数学基础 数学教育 |
|---|---|
| 当前研究 | 二阶算术证明图标准化定理 |
留言
研究成果
代表性研究论文
| 标题 | 作者 | 出版杂志 | 公布年份 |
|---|---|---|---|
| 旨在提高逻辑描述能力的数学教育实践 | 铃木敏之 | 2012 | |
| 初等分析的范式定理 | 铃木敏之 | 2010 | |
| 关于新牌号处理系统的开发 | 铃木敏之 | 玉阁国立工学院通报第21期 | 1999 |
| 关于一阶算术的 ω 一致性 | 铃木敏之 | 1989 |
水平滑动即可查看表格的其余部分。
学术演讲、讲座等
- 关于池田标准化定理,模型理论山中湖研究小组(2001)
- MALL 对 QBF 的编码,日本数学会 (1996)
- MALL 的 QBF 编码,证明理论 '95 (1995)
社会贡献和公共关系活动
外部委员会成员、学术活动等
- 高知县算术和数学教育研究组组长(2024-2026)
一般讲座等
- 大手前研讨会(大学讲座),高知县立高知大手前高中(2019 年)
- 大学数学入门研讨会,高知小津高中超级科学高中(2015)
- 以提高学生逻辑思维能力为目标,第45届高知县高中数学教育研究会议(2012年)
主要出版物等
- 基础数学练习册《数学 4》《数学 7》,2007 年
- 基础数学练习册“概率与统计”,1999 年
水平滑动即可查看表格的其余部分。
