研究者
J-GLOBAL ID:201501003039130240
更新日: 2024年04月03日
千代 英一郎
チシロエイイチロウ | Chishiro Eiichiro
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
成蹊大学 理工学部 理工学科
成蹊大学 理工学部 理工学科 について
「成蹊大学 理工学部 理工学科」ですべてを検索
機関情報を見る
職名:
准教授
研究分野 (1件):
ソフトウェア
研究キーワード (7件):
セキュリティ
, 並列化
, 分散処理
, データベース
, コンパイラ
, ソフトウェア検証
, プログラム解析
論文 (12件):
千代 英一郎. 再帰ニューラルネットワークを用いたオドメトリ情報からの自己位置推定の精度改善. コンピュータソフトウェア. 2024. 41. 1. 82-88
Query Conversion for Aggregate Operations in Distributed SPARQL Query Processing Using Summary Information. Journal of Information Processing. 2018. 26. 3. 747-754
金子舟, 千代英一郎. 要約情報を用いたSPARQLクエリ分散処理における集約計算のためのクエリ変換. 情報処理学会論文誌プログラミング. 2018. 11. 3
千代英一郎. 高階差分にもとづくループ停止性証明方法. コンピュータソフトウェア. 2018
高野保真, 千代英一郎. 反復的な試行にもとづく SMT ソルバ実行戦略の検討. 情報処理学会論文誌 プログラミング. 2018
もっと見る
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 - 現在 情報処理推進機構 情報処理技術者試験委員
2018/04 - 2022/03 情報処理学会 PRO論文誌編集委員
2018/04 - 2022/03 情報処理学会 プログラミング研究会幹事
2020/01 - 2020/08 情報処理学会 xSIG2020 プログラム副委員長
2019/01 - 2019/06 情報処理学会 xSIG2019 プログラム委員
2018/05 - 2019/03 日本ソフトウェア科学会 PPL2019 プログラム委員
2017/09 - 2018/05 情報処理学会 xSIG2018 プログラム委員
2015/04 - 2018/03 情報処理学会 プログラミング研究会運営委員
2016/09 - 2017/05 情報処理学会 xSIG2017 プログラム委員
2010/04 - 2013/03 日本ソフトウェア科学会 プログラミング論研究会運営委員
2011/04 - 2012/03 日本ソフトウェア科学会 第14回プログラミングおよびプログラミング言語ワークショッププログラム委員
2006/04 - 2010/03 情報処理学会 プログラミング研究会運営委員
2008/11 - 2009/05 情報処理学会 先進的計算基盤システムシンポジウム2009プログラム委員
2008/04 - 2009/03 日本ソフトウェア科学会 第11回プログラミングおよびプログラミング言語ワークショッププログラム委員長
2007/04 - 2008/03 日本ソフトウェア科学会 第10回プログラミングおよびプログラミング言語ワークショッププログラム委員
全件表示
所属学会 (8件):
画像電子学会
, システム制御情報学会
, 芸術科学会
, Association for Computing Machinery
, 人工知能学会
, 日本データベース学会
, 日本ソフトウェア科学会
, 情報処理学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM