氏名

テラウチ タチオ

寺内 多智弘

職名

教授

所属

(基幹理工学部)

本属以外の学内所属

学内研究所等

理工学術院総合研究所(理工学研究所)

兼任研究員 2018年-

外部研究資金

科学研究費採択状況

研究種別:

サイドチャネル攻撃耐タンパ性のためのプログラム検証・プログラム合成技術

2018年-0月-2021年-0月

配分額:¥6240000

研究種別:

高階・再帰的データ構造への破壊的代入を含む高レベル言語プログラムの高精度な検証

2017年-0月-2022年-0月

配分額:¥17940000

研究種別:

高階プログラミング言語で記述された大規模ソフトウェアの検証

2014年-0月-2017年-0月

配分額:¥4810000

研究種別:

高レベル言語で記述されたリアクティブシステムに対する実時間性質の検証

2013年-0月-2017年-0月

配分額:¥16770000

研究種別:

量的情報流の正確な検証

2011年-0月-2014年-0月

配分額:¥4160000

研究種別:

高階モデル検査とその応用

2011年-0月-2016年-0月

配分額:¥137540000

研究種別:

高階オープンシステムの数理的検証

2010年-0月-2015年-0月

配分額:¥14690000

研究種別:

型理論と線形計画法によるマルチスレッドプログラムの安全性検証

配分額:¥4030000

研究種別:

ソフトウェアの安全性向上のための型理論の深化と応用

配分額:¥49270000

研究種別:

ソフトウェアの安全性向上のための型理論

配分額:¥12160000

現在担当している科目

科目名開講学部・研究科開講年度学期
情報通信基礎基幹理工学部2019春学期
情報通信基礎 【前年度成績S評価者用】基幹理工学部2019春学期
プログラミングA 1班基幹理工学部2019春学期
プログラミングA 1班基幹理工学部2019春学期
プログラミングA 2班基幹理工学部2019春学期
プログラミングA 2班基幹理工学部2019春学期
プログラミングA 【前年度成績S評価者用】基幹理工学部2019春学期
プログラミングA 1班 【前年度成績S評価者用】基幹理工学部2019春学期
プログラミングA 【前年度成績S評価者用】基幹理工学部2019春学期
プログラミングA 2班 【前年度成績S評価者用】基幹理工学部2019春学期
情報理工学実験A基幹理工学部2019秋学期
情報理工学実験A 【前年度成績S評価者用】基幹理工学部2019秋学期
プログラミング言語基幹理工学部2019秋学期
プログラミング言語基幹理工学部2019秋学期
プログラミング言語 13前再  【前年度成績S評価者用】基幹理工学部2019秋学期
プログラミング言語 【前年度成績S評価者用】基幹理工学部2019秋学期
卒業論文A基幹理工学部2019通年
卒業論文A  【前年度成績S評価者用】基幹理工学部2019通年
卒業論文B基幹理工学部2019通年
卒業論文B  【前年度成績S評価者用】基幹理工学部2019通年
プログラミング言語 13前再基幹理工学部2019秋学期
プロジェクト研究A基幹理工学部2019春学期
情報理工学実験C基幹理工学部2019秋学期
プロジェクト研究B基幹理工学部2019秋学期
情報通信実験A基幹理工学部2019秋学期
情報通信実験A 【前年度成績S評価者用】基幹理工学部2019秋学期
情報通信実験B基幹理工学部2019春学期
情報通信実験B 【前年度成績S評価者用】基幹理工学部2019春学期
卒業論文A基幹理工学部2019通年
卒業論文A  【前年度成績S評価者用】基幹理工学部2019通年
卒業論文B基幹理工学部2019通年
卒業論文B  【前年度成績S評価者用】基幹理工学部2019通年
プロジェクト研究A基幹理工学部2019春学期
プロジェクト研究B基幹理工学部2019秋学期
Research Project B基幹理工学部2019春学期
Research Project B基幹理工学部2019春学期
Research Project B 【前年度成績S評価者用】基幹理工学部2019春学期
Research Project B 【S Grade】基幹理工学部2019春学期
Research Project C基幹理工学部2019秋学期
Research Project C基幹理工学部2019秋学期
Research Project C 【前年度成績S評価者用】基幹理工学部2019秋学期
Research Project C 【S Grade】基幹理工学部2019秋学期
Design and Implementation of Programming Languages基幹理工学部2019秋学期
Design and Implementation of Programming Languages基幹理工学部2019秋学期
Research Project A基幹理工学部2019秋学期
Research Project A基幹理工学部2019秋学期
Research Project D基幹理工学部2019春学期
Research Project D基幹理工学部2019春学期
Communications and Computer Engineering Laboratory基幹理工学部2019秋学期
Computer Science and Communications Engineering Laboratory A基幹理工学部2019秋学期
Computer Science and Engineering Laboratory基幹理工学部2019秋学期
Computer Science and Engineering Laboratory基幹理工学部2019秋学期
Computer Science and Communications Engineering Laboratory A [S Grade]基幹理工学部2019秋学期
Introduction to Computers and Networks基幹理工学部2019春学期
修士論文(情報・通信)大学院基幹理工学研究科2019通年
Research on Computer Programming Languages大学院基幹理工学研究科2019通年
計算機言語論研究大学院基幹理工学研究科2019通年
Special Laboratory A in Computer Science and Communications Engineering大学院基幹理工学研究科2019春学期
情報理工・情報通信特別実験A大学院基幹理工学研究科2019春学期
Special Laboratory B in Computer Science and Communications Engineering大学院基幹理工学研究科2019秋学期
情報理工・情報通信特別実験B大学院基幹理工学研究科2019秋学期
プロジェクト研究大学院基幹理工学研究科2019通年
Design and Implementation of Programming Languages大学院基幹理工学研究科2019秋学期
プログラミング言語特論大学院基幹理工学研究科2019秋学期
Seminar on Computer Programming Languages A大学院基幹理工学研究科2019春学期
計算機言語論演習A大学院基幹理工学研究科2019春学期
Seminar on Computer Programming Languages B大学院基幹理工学研究科2019秋学期
計算機言語論演習B大学院基幹理工学研究科2019秋学期
Seminar on Computer Programming Languages C大学院基幹理工学研究科2019春学期
計算機言語論演習C大学院基幹理工学研究科2019春学期
Seminar on Computer Programming Languages D大学院基幹理工学研究科2019秋学期
計算機言語論演習D大学院基幹理工学研究科2019秋学期
Master's Thesis (Department of Computer Science and Communications Engineering)大学院基幹理工学研究科2019通年
計算機言語論研究大学院基幹理工学研究科2019通年
情報理工・情報通信特別演習A大学院基幹理工学研究科2019春学期
情報理工・情報通信特別演習B大学院基幹理工学研究科2019秋学期