Menu
成蹊大学
受験生の方
資料請求
アクセス
お問い合わせ
検索
成蹊大学
理工学部
学科・大学院
理工学部紹介
理工学部紹介
理工学部について
理工学部の特色
基礎情報
学部長挨拶
施設紹介
カリキュラム(学修・教育目標、 履修モデル)
理工学部 Q&A
学則等関連規則
シラバス
成蹊大学 理工学・工学研究報告
理工学部サイト
(2021年度以前の入学者)
制度とサポート
オフィス・アワー
キャリア・教員免許状・資格
キャリア・資格
スペシャルコンテンツ
受験生向け成蹊大学案内
SEIKEI Story
全研究室紹介
未来どうなるの研究部
レクチャーデリバリ
(出張講義)
体験科学教室
学科・大学院
学科・大学院
専攻
データ数理専攻
コンピュータ科学専攻
機械システム専攻
電気電子専攻
応用化学専攻
理工学部 Q&A
理工学部 Q&A インデックス
理工学科 Q&A
データ数理専攻 Q&A
コンピュータ科学専攻 Q&A
機械システム専攻 Q&A
電気電子専攻 Q&A
応用化学専攻 Q&A
研究室
理工学科の研究室
キーワードから研究室を探す
成蹊教養カリキュラム
成蹊教養カリキュラム
大学院
大学院 理工学研究科
教員
教員
教員紹介
行動規範・行動指針
受験生の方
受験生の方
入試情報サイト S-NET
受験生向け成蹊大学案内
SEIKEI Story
成蹊大学
資料請求
アクセス
お問い合わせ
理工学部
学科・大学院
理工学科の研究室
プログラミング言語研究室
コンピュータ科学専攻
プログラミング言語研究室
千代 英一郎
安心・安全なソフトウェアの実現を目指す
学びのキーワード
データベース技術
並列・分散処理
知識情報処理
プログラム解析
言語処理
自律制御システム
千代 英一郎 准教授
研究分野
プログラミング言語
データベース
知識情報処理
研究室紹介
交通・金融・医療など主要な社会基盤がソフトウェアにより制御される現在、その信頼性の確保が厳しく問われています。プログラミング言語理論を基礎に、言語処理系拡張による不正動作防止、セキュリティ検査技術などの研究に取り組みます。
研究室紹介PDF
プロフィール
研究室紹介PDF
理工学部の研究室リスト→
キーワードから研究室を探す→
関連リンク
理工学科の研究室
キーワードから研究室を探す