Rchr
J-GLOBAL ID：201501003039130240   Update date: Apr. 03, 2024

Chishiro Eiichiro

チシロエイイチロウ | Chishiro Eiichiro
Affiliation and department：
Seikei University Faculty of Science and Technology Department of Science and Technology

About Seikei University Faculty of Science and Technology Department of Science and Technology


Job title： Associate Professor
Research field  (1)： Software
Research keywords  (7)： セキュリティ ,  並列化 ,  分散処理 ,  データベース ,  Compiler ,  ソフトウェア検証 ,  プログラム解析
Papers (12)：
ｍore...
MISC (2)：
  • Estimation of Satisfiability for High Order Constraint Problem Based on Trials with Range Restriction of Variabels. 2017. 10. 1. 34-34
  • 千代英一郎. まわりみちの威力. 情報処理学会誌. 2007. 48. 7. 759-759
Books (1)：
  • Computer System
    2019
Lectures and oral presentations  (7)：
  • つくばチャレンジ2023における 成蹊大学千代研のとりくみ
    (つくばチャレンジシンポジウム2023 2024)
  • 研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて
    (第58回プログラミングシンポジウム 2017)
  • 大規模 RDF データに対するクエリ分散処理における値域情報利用の検討
    (第58回プログラミングシンポジウム 2017)
  • 変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討
    (第 109 回情報処理学会プログラミング研究会 2016)
  • 文法推論に基づくシステム仕様からのモデル生成高速化手法の検討
    (第14回情報科学技術フォーラム 2015)
ｍore...
Professional career (1)：
  • 情報理工学博士 (東京大学)
Committee career (19)：
  • 2022/04 - 現在 独立行政法人情報処理推進機構 IBT実証及び初期整備委員
  • 2022/04 - 現在 独立行政法人情報処理推進機構 情報処理安全確保支援士試験委員
  • 2022/04 - 現在 日本ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショッププログラム委員
  • 2022/04 - 現在 情報処理学会 ハイパフォーマンスコンピューティング研究会運営委員
  • 2020/09 - 現在 情報処理推進機構 情報処理技術者試験委員
Show all
Association Membership(s) (8)：
画像電子学会 ,  システム制御情報学会 ,  THE SOCIETY FOR ART AND SCIENCE ,  Association for Computing Machinery ,  THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE ,  THE DATABASE SOCIETY OF JAPAN ,  JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY ,  INFORMATION PROCESSING SOCIETY OF JAPAN
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM