言語の選択:

お知らせ


成蹊大学専任教員各位

Ufinityにログイン後、「編集」ボタンを押した際に「権限が不正」というエラーメッセージが生じた際は、総合企画課までご連絡ください。

総合企画課:kikaku@jim.seikei.ac.jp

※8/6(木)~8/19(水)まで一斉休業となりますため、8/5(水)17時以降にお問合せいただいた場合は、8/20(木)以降のご対応となります。ご了承くださいますようお願いいたします。
 
»大学ホームページに戻る
»Return to University HOME

※各教員の担当科目については、以下のリンク先にある「教員名」に該当教員の氏名を入力の上、検索してください。
 

研究者業績

現在このブロックに設定情報がありません

 
研究者検索 > 理工学部 教員紹介 

理工学部 教員紹介

研究者リスト >> 千代 英一郎
 

千代 英一郎

 
アバター
研究者氏名千代 英一郎
 
 チシロエイイチロウ
通称等の別名Eiichiro Chishiro
所属成蹊大学
部署理工学部 情報科学科
職名准教授
学位情報理工学博士(東京大学)
J-Global ID201501003039130240

研究キーワード

 
セキュリティ ,並列化 ,分散処理 ,データベース ,コンパイラ ,ソフトウェア検証 ,プログラム解析

研究分野

 
  • 情報通信 / ソフトウェア / 

経歴

 

学歴

 

委員歴

 
2020年1月
 - 
現在
情報処理学会  情報処理学会 xSIG2019 プログラム委員
 
2019年1月
 - 
現在
情報処理学会  xSIG2019 プログラム委員
 
2018年5月
 - 
現在
日本ソフトウェア科学会  PPL2019 プログラム委員
 
2018年4月
 - 
現在
情報処理学会  PRO論文誌編集委員
 
2018年4月
 - 
現在
情報処理学会  プログラミング研究会幹事
 

受賞

 

論文

 
 
Shu Kaneko   Eiichiro Chishiro   
Journal of Information Processing   26(3) 747-754   2018年11月   [査読有り]
 
金子舟   千代英一郎   
情報処理学会論文誌プログラミング   11(3)    2018年8月   [査読有り]
 
千代英一郎   
コンピュータソフトウェア      2018年5月   [査読有り]
 
高野保真   千代英一郎   
情報処理学会論文誌 プログラミング      2018年   [査読有り]
 
千代英一郎   
コンピュータソフトウェア   30(4) 91-97   2013年11月   [査読有り]

MISC

 
 
千代英一郎   
情報処理学会誌   48(7) 759-759   2007年7月   [招待有り]

書籍等出版物

 
 
五島 正裕他(担当:共訳)
丸善出版      2019年      

講演・口頭発表等

 
 
研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて
高野保真   千代英一郎   
第58回プログラミングシンポジウム   2017年1月   
 
大規模 RDF データに対するクエリ分散処理における値域情報利用の検討
金子舟   千代英一郎   高野保真   
第58回プログラミングシンポジウム   2017年1月   
 
変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討
中山寛己   高野保真   千代英一郎   
第 109 回情報処理学会プログラミング研究会   2016年6月   
 
文法推論に基づくシステム仕様からのモデル生成高速化手法の検討
金子舟   千代英一郎   
第14回情報科学技術フォーラム   2015年9月15日   
 
変数値域限定による充足可能性判定効率化手法の検討
中山寛己   千代英一郎   
第14回情報科学技術フォーラム   2015年9月15日   

担当経験のある科目(授業)

 

所属学協会

 
 
   
 
芸術科学会
 
   
 
Association for Computing Machinery
 
   
 
人工知能学会
 
   
 
日本データベース学会
 
   
 
日本ソフトウェア科学会

Works(作品等)

 

共同研究・競争的資金等の研究課題

 

産業財産権

 

学術貢献活動

 

社会貢献活動

 

メディア報道

 

その他

 

教育内容やその他の工夫

 
2014年度
2014年4月1日 - 2015年3月31日
 昨年度の受講生からの意見をふまえて,これまでよりもさらに演習の比重を高めた.また,演習問題についても,学生にとって身近で具体性のある題材を選び,講義で説明した抽象的な概念の具体像が描けるように配慮して作成した.演習を通して多くの学生が理解できていないことが判明した事項については,補足説明を行うと共に簡単な例題をその場で解かせ,授業内で疑問点が解決できるように努めた.
 また,昨年度と同様,机上の知識でなく実践につながる知識となるように心がけ,データベースを実際に操作しながら講義で取り上げた技術の効果を確認したり,OSのソースコードを配布し,各種デバイスの制御がどのように実現されているのかを解説する等の取り組みを行った.特に学生が苦手とするハードウェアに密着したプログラミングについては重点的に解説を行った.