教員情報
教員情報ホーム
プロフィール
所属学会
教育
受賞学術賞
教育上の能力
社会活動
社会における活動
その他
大学院における研究指導担当資格
受験生のみなさんへ
こんな研究しています
(最終更新日:2019-11-17 02:05:38)
タナベ ヨシノリ
Tanabe Yoshinori
田辺 良則
所属
鶴見大学 文学部 ドキュメンテーション学科
職種
教授
プロフィール
■
所属学会
1.
2008~
電子情報通信学会
電子情報通信学会
2.
2005~
日本ソフトウェア科学会
日本ソフトウェア科学会
3.
2013~2014
∟
ディペンダブルシステム研究会運営委員
ディペンダブルシステム研究会運営委員
4.
2005~
情報処理学会
情報処理学会
教育
■
受賞学術賞
1.
2007
日本ソフトウェア科学会 日本ソフトウェア科学会論文賞 (高橋孝一,高井利憲 と共同受賞)
日本ソフトウェア科学会 日本ソフトウェア科学会論文賞 (高橋孝一,高井利憲 と共同受賞)
2.
2012
日本ソフトウェア科学会 日本ソフトウェア科学会高橋奨励賞
日本ソフトウェア科学会 日本ソフトウェア科学会高橋奨励賞
3.
2012
文部科学省 文部科学省 平成24年度文部科学大臣表彰, 科学技術賞(理解増進部門) (本位田真一,吉岡信和 と共同受賞)
文部科学省 文部科学省 平成24年度文部科学大臣表彰, 科学技術賞(理解増進部門) (本位田真一,吉岡信和 と共同受賞)
■
教育上の能力
●教育方法の実践例
1.
2015/04
課題管理
課題管理
●作成した教科書、教材
1.
2015/10~2015/10
タイピング自動採点システム
タイピング自動採点システム
2.
2016/07~2016/07
命題論理式充足可能性判定システム
命題論理式充足可能性判定システム
3.
2015/04
(N/A)
(N/A)
●当該教員の教育上の能力に関する大学等の評価
1.
2012/11/26~2012/11/26
クラウド時代におけるNIIの技術者教育カリキュラム・トップエスイー
クラウド時代におけるNIIの技術者教育カリキュラム・トップエスイー
2.
2010/09/15~2010/09/15
高度な研究開発人材育成への取組み
高度な研究開発人材育成への取組み
5件表示
全件表示(6件)
社会活動
■
社会における活動
1.
2016
ATVA2016実行委員 (会計担当)
ATVA2016実行委員 (会計担当)
その他
■
大学院における研究指導担当資格
研究指導・担当資格:有
研究指導・担当資格:有
■
受験生のみなさんへ
ドキュメンテーション学科では,新入生全員にノート型パーソナルコンピュータを貸与し,4年間使い倒してもらっています.若くて吸収力のあるこの時期に,ぜひPCのスキルを身につけてください. 情報技術 (IT) は,理系の専売特許ではありません.文学部という文脈を生かした情報学を学びましょう.
ドキュメンテーション学科では,新入生全員にノート型パーソナルコンピュータを貸与し,4年間使い倒してもらっています.若くて吸収力のあるこの時期に,ぜひPCのスキルを身につけてください. 情報技術 (IT) は,理系の専売特許ではありません.文学部という文脈を生かした情報学を学びましょう.
■
こんな研究しています
数理論理学を利用して,ソフトウェアの信頼性向上を図るための研究を行っています.
数理論理学を利用して,ソフトウェアの信頼性向上を図るための研究を行っています.