日高宗一郎のページ

まだまだ暫定の内容で、随時更新予定です。

English page

researchmapエントリ(経歴、発表文献等)

学部の公式ページ

卒業研究配属を検討中の方へ(情報科学部内部向け情報)(2022/6/8更新)

講義の補助資料など

「データベース」補助資料(情報科学部内部向け情報)

お知らせ/活動記録

• 最近の学生の発表記録については、基盤ソフトウェア研究室 卒業研究情報をご覧ください。
• 2021年12月18日　学外合同発表会(ハイフレックス)を行いました。
• 2021年6月17日 土生 樹也さん(2021年3月卒)の卒業研究が国際会議SFDI2021: Fifth Workshop on Software Foundations for Data Interoperabilityに採択されました。
• 2021年3月17日 土生 樹也さん(B4)が情報処理学会プログラミング研究会第133回プログラミング研究発表会 で「複数の双方向変換に対するデータ更新時の競合解決手法」と題して、短い発表を行いました。
• 2021年3月1日 Busalire Emekaさん(D2)がThe 10th International Workshop on SOFL + MSVL for Reliability and Security で、A Formal Approach to Secure Design of RESTful web APIs using SOFLと題して発表を行いました。
• 2020年11月21日　学外合同発表会(オンライン)を行いました。
• 2020年2月19日　日本に立ち寄られたフランスのアンジェ大Calvar博士の講演会を開催しました。
• 2020年2月16日〜2020年2月22日 フランスのESEOからJouault先生を招聘し、共同研究を実施しました。
• 2019年8月25日〜 フランスからTisi先生を招聘し、共同研究を行い、研究室内で講演会を開催しました。
• 2018年12月22・23日 研究室メンバーによる合宿を行いました。
• 2018年3月 相原崇弘君が情報処理学会 第80回全国大会で「学生奨励賞」を受賞しました。
• 2017年10月7・8日 研究室メンバーによる合宿を行いました。

研究プロジェクト

データ変換の漸進的双方向化に関する研究 (基盤B代表)

リアクティブプログラミングのための高信頼化技術(基盤B分担;代表: 法政大学細部先生)

双方向変換の深化による自律分散ビッグデータの相互運用基盤に関する研究(基盤S分担; 代表: 国立情報学研究所胡先生)