Researcher List Eiichiro Chishiro Eiichiro Chishiro (千代 英一郎) Please select the form format to download from below 「Education and research environment」format 「No. 4, the Ministry of Education document style ①Outline for Vitae」format 「No. 4, the Ministry of Education document style ②Education and research environment」format Profile Information AffiliationAssociate Professor, Faculty of Science and Technology Department of Science and Technology , Seikei UniversityDegree情報理工学博士(東京大学)Other name(s) (e.g. nickname)Eiichiro ChishiroJ-GLOBAL ID201501003039130240researchmap Member IDB000243692 Research Interests 7 セキュリティ 並列化 分散処理 データベース Compiler ソフトウェア検証 プログラム解析 Research Areas 1 Informatics / Software / Committee Memberships 19 Apr, 2022 - Present IBT実証及び初期整備委員, 独立行政法人情報処理推進機構 Apr, 2022 - Present 情報処理安全確保支援士試験委員, 独立行政法人情報処理推進機構 Apr, 2022 - Present 第25回プログラミングおよびプログラミング言語ワークショッププログラム委員, 日本ソフトウェア科学会 Apr, 2022 - Present ハイパフォーマンスコンピューティング研究会運営委員, 情報処理学会 Sep, 2020 - Present 情報処理技術者試験委員, 情報処理推進機構 More Papers 12 Improving the Accuracy of Localization from Odometry Information using Recurrent Neural Network Eiichiro Chishiro Computer Software, 41(1) 82-88, Jan, 2024 Peer-reviewedLead authorLast authorCorresponding author Query Conversion for Aggregate Operations in Distributed SPARQL Query Processing Using Summary Information Shu Kaneko, Eiichiro Chishiro Journal of Information Processing, 26(3) 747-754, Nov, 2018 Peer-reviewed 要約情報を用いたSPARQLクエリ分散処理における集約計算のためのクエリ変換 金子舟, 千代英一郎 情報処理学会論文誌プログラミング, 11(3), Aug, 2018 Peer-reviewed 高階差分にもとづくループ停止性証明方法 千代英一郎 コンピュータソフトウェア, May, 2018 Peer-reviewed 反復的な試行にもとづく SMT ソルバ実行戦略の検討 高野保真, 千代英一郎 情報処理学会論文誌 プログラミング, 2018 Peer-reviewed More Misc. 2 Estimation of Satisfiability for High Order Constraint Problem Based on Trials with Range Restriction of Variabels 10(1) 34-34, Jan 6, 2017 まわりみちの威力 千代英一郎 情報処理学会誌, 48(7) 759-759, Jul, 2007 Invited Books and Other Publications 1 Computer System (Role: Joint translator) 2019 Presentations 8 つくばチャレンジ2024における成蹊大学千代研のとりくみ 千代 英一郎 つくばチャレンジシンポジウム2024, Feb 8, 2025 Invited つくばチャレンジ2023における 成蹊大学千代研のとりくみ 千代 英一郎 つくばチャレンジシンポジウム2023, Jan 20, 2024 Invited 研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて 高野保真, 千代英一郎 第58回プログラミングシンポジウム, Jan, 2017 大規模 RDF データに対するクエリ分散処理における値域情報利用の検討 金子舟, 千代英一郎, 高野保真 第58回プログラミングシンポジウム, Jan, 2017 変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討 中山寛己, 高野保真, 千代英一郎 第 109 回情報処理学会プログラミング研究会, Jun, 2016 More Professional Memberships 8 画像電子学会 システム制御情報学会 THE SOCIETY FOR ART AND SCIENCE Association for Computing Machinery THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE More 教育内容やその他の工夫 1 Date(From) 2014/04/01 Date(To) 2015/03/31 Subjcet 2014年度 Summary 昨年度の受講生からの意見をふまえて,これまでよりもさらに演習の比重を高めた.また,演習問題についても,学生にとって身近で具体性のある題材を選び,講義で説明した抽象的な概念の具体像が描けるように配慮して作成した.演習を通して多くの学生が理解できていないことが判明した事項については,補足説明を行うと共に簡単な例題をその場で解かせ,授業内で疑問点が解決できるように努めた. また,昨年度と同様,机上の知識でなく実践につながる知識となるように心がけ,データベースを実際に操作しながら講義で取り上げた技術の効果を確認したり,OSのソースコードを配布し,各種デバイスの制御がどのように実現されているのかを解説する等の取り組みを行った.特に学生が苦手とするハードウェアに密着したプログラミングについては重点的に解説を行った. 1
Eiichiro Chishiro (千代 英一郎) Please select the form format to download from below 「Education and research environment」format 「No. 4, the Ministry of Education document style ①Outline for Vitae」format 「No. 4, the Ministry of Education document style ②Education and research environment」format Profile Information AffiliationAssociate Professor, Faculty of Science and Technology Department of Science and Technology , Seikei UniversityDegree情報理工学博士(東京大学)Other name(s) (e.g. nickname)Eiichiro ChishiroJ-GLOBAL ID201501003039130240researchmap Member IDB000243692 Research Interests 7 セキュリティ 並列化 分散処理 データベース Compiler ソフトウェア検証 プログラム解析 Research Areas 1 Informatics / Software / Committee Memberships 19 Apr, 2022 - Present IBT実証及び初期整備委員, 独立行政法人情報処理推進機構 Apr, 2022 - Present 情報処理安全確保支援士試験委員, 独立行政法人情報処理推進機構 Apr, 2022 - Present 第25回プログラミングおよびプログラミング言語ワークショッププログラム委員, 日本ソフトウェア科学会 Apr, 2022 - Present ハイパフォーマンスコンピューティング研究会運営委員, 情報処理学会 Sep, 2020 - Present 情報処理技術者試験委員, 情報処理推進機構 More Papers 12 Improving the Accuracy of Localization from Odometry Information using Recurrent Neural Network Eiichiro Chishiro Computer Software, 41(1) 82-88, Jan, 2024 Peer-reviewedLead authorLast authorCorresponding author Query Conversion for Aggregate Operations in Distributed SPARQL Query Processing Using Summary Information Shu Kaneko, Eiichiro Chishiro Journal of Information Processing, 26(3) 747-754, Nov, 2018 Peer-reviewed 要約情報を用いたSPARQLクエリ分散処理における集約計算のためのクエリ変換 金子舟, 千代英一郎 情報処理学会論文誌プログラミング, 11(3), Aug, 2018 Peer-reviewed 高階差分にもとづくループ停止性証明方法 千代英一郎 コンピュータソフトウェア, May, 2018 Peer-reviewed 反復的な試行にもとづく SMT ソルバ実行戦略の検討 高野保真, 千代英一郎 情報処理学会論文誌 プログラミング, 2018 Peer-reviewed More Misc. 2 Estimation of Satisfiability for High Order Constraint Problem Based on Trials with Range Restriction of Variabels 10(1) 34-34, Jan 6, 2017 まわりみちの威力 千代英一郎 情報処理学会誌, 48(7) 759-759, Jul, 2007 Invited Books and Other Publications 1 Computer System (Role: Joint translator) 2019 Presentations 8 つくばチャレンジ2024における成蹊大学千代研のとりくみ 千代 英一郎 つくばチャレンジシンポジウム2024, Feb 8, 2025 Invited つくばチャレンジ2023における 成蹊大学千代研のとりくみ 千代 英一郎 つくばチャレンジシンポジウム2023, Jan 20, 2024 Invited 研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて 高野保真, 千代英一郎 第58回プログラミングシンポジウム, Jan, 2017 大規模 RDF データに対するクエリ分散処理における値域情報利用の検討 金子舟, 千代英一郎, 高野保真 第58回プログラミングシンポジウム, Jan, 2017 変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討 中山寛己, 高野保真, 千代英一郎 第 109 回情報処理学会プログラミング研究会, Jun, 2016 More Professional Memberships 8 画像電子学会 システム制御情報学会 THE SOCIETY FOR ART AND SCIENCE Association for Computing Machinery THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE More 教育内容やその他の工夫 1 Date(From) 2014/04/01 Date(To) 2015/03/31 Subjcet 2014年度 Summary 昨年度の受講生からの意見をふまえて,これまでよりもさらに演習の比重を高めた.また,演習問題についても,学生にとって身近で具体性のある題材を選び,講義で説明した抽象的な概念の具体像が描けるように配慮して作成した.演習を通して多くの学生が理解できていないことが判明した事項については,補足説明を行うと共に簡単な例題をその場で解かせ,授業内で疑問点が解決できるように努めた. また,昨年度と同様,机上の知識でなく実践につながる知識となるように心がけ,データベースを実際に操作しながら講義で取り上げた技術の効果を確認したり,OSのソースコードを配布し,各種デバイスの制御がどのように実現されているのかを解説する等の取り組みを行った.特に学生が苦手とするハードウェアに密着したプログラミングについては重点的に解説を行った. 1
【連絡事項】 成蹊大学専任教員各位 ①ログインの際には「他の機関Idpによるログイン」からログインをお願いいたします。右側の「ログイン」からはログインいただけません。 ②Ufinityにログイン後、「編集」ボタンを押した際に「権限が不正」というエラーメッセージが生じた際は、総合企画課までご連絡ください。 総合企画課:kikaku@jim.seikei.ac.jp