千代英一郎

チシロエイイチロウ | Chishiro Eiichiro

所属機関・部署：
職名：准教授

研究分野 (1件)：ソフトウェア

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

論文 (12件)：

MISC (2件)：

中山寛己, 高野保真, 千代英一郎. 変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討. 情報処理学会論文誌プログラミング(PRO). 2017. 10. 1. 34-34
千代英一郎. まわりみちの威力. 情報処理学会誌. 2007. 48. 7. 759-759

書籍 (1件)：

講演・口頭発表等 (7件)：

つくばチャレンジ2023における成蹊大学千代研のとりくみ
(つくばチャレンジシンポジウム2023 2024)
研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて
(第58回プログラミングシンポジウム 2017)
大規模 RDF データに対するクエリ分散処理における値域情報利用の検討
(第58回プログラミングシンポジウム 2017)
変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討
(第 109 回情報処理学会プログラミング研究会 2016)
文法推論に基づくシステム仕様からのモデル生成高速化手法の検討
(第14回情報科学技術フォーラム 2015)

学位 (1件)：

委員歴 (19件)：

全件表示

所属学会 (8件)：

画像電子学会 , システム制御情報学会 , 芸術科学会 , Association for Computing Machinery , 人工知能学会 , 日本データベース学会 , 日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

千代 英一郎