研究者
J-GLOBAL ID:201501003039130240   更新日: 2024年04月03日

千代 英一郎

チシロエイイチロウ | Chishiro Eiichiro
所属機関・部署:
職名: 准教授
研究分野 (1件): ソフトウェア
研究キーワード (7件): セキュリティ ,  並列化 ,  分散処理 ,  データベース ,  コンパイラ ,  ソフトウェア検証 ,  プログラム解析
論文 (12件):
もっと見る
MISC (2件):
  • 中山 寛己, 高野 保真, 千代 英一郎. 変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討. 情報処理学会論文誌プログラミング(PRO). 2017. 10. 1. 34-34
  • 千代英一郎. まわりみちの威力. 情報処理学会誌. 2007. 48. 7. 759-759
書籍 (1件):
  • コンピュータ・システム
    丸善出版 2019
講演・口頭発表等 (7件):
  • つくばチャレンジ2023における 成蹊大学千代研のとりくみ
    (つくばチャレンジシンポジウム2023 2024)
  • 研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて
    (第58回プログラミングシンポジウム 2017)
  • 大規模 RDF データに対するクエリ分散処理における値域情報利用の検討
    (第58回プログラミングシンポジウム 2017)
  • 変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討
    (第 109 回情報処理学会プログラミング研究会 2016)
  • 文法推論に基づくシステム仕様からのモデル生成高速化手法の検討
    (第14回情報科学技術フォーラム 2015)
もっと見る
学位 (1件):
  • 情報理工学博士 (東京大学)
委員歴 (19件):
  • 2022/04 - 現在 独立行政法人情報処理推進機構 IBT実証及び初期整備委員
  • 2022/04 - 現在 独立行政法人情報処理推進機構 情報処理安全確保支援士試験委員
  • 2022/04 - 現在 日本ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショッププログラム委員
  • 2022/04 - 現在 情報処理学会 ハイパフォーマンスコンピューティング研究会運営委員
  • 2020/09 - 現在 情報処理推進機構 情報処理技術者試験委員
全件表示
所属学会 (8件):
画像電子学会 ,  システム制御情報学会 ,  芸術科学会 ,  Association for Computing Machinery ,  人工知能学会 ,  日本データベース学会 ,  日本ソフトウェア科学会 ,  情報処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る