ようこそ

わたしたちはプログラミング言語とソフトウェア開発環境を研究しています。プログラミング言語と環境の理論・設計・実現方式を追求することで「プログミングをもっと楽しく」することが研究室の大きな目標です。主な研究テーマには次のものがあります。

  • プログラムを安全に書きやすくするためのプログラミング言語の理論、設計、実現方式。例えば型システム、制御機構、モジュール機構、プログラム合成技術などについての研究をしています。
  • 効率の良いプログラムをより簡単に記述するためのプログラミング言語とその最適化手法。例えばGPGPU向けのプログラミング言語、実行時コンパイル技法、プログラム変換技術などについて研究しています。
  • 統合開発環境のようなソフトウェア開発環境の、プログラミング言語技術や機械学習技術を用いた高度化。例えばライブプログラミング環境、教育用開発環境、コード補完、デバッガなどについて研究しています。

これらに限らず、プログラミング言語とソフトウェア開発環境に関する色々な研究を行っています。詳しくは研究プロジェクトのページをごらん下さい。この分野に興味を持つ学生・研究者を歓迎しています

ソフトウェア発展のための分散・永続プログラミングに関する2編の論文がProgramming論文誌・国際会議に採録

ソフトウェア発展のための分散・永続プログラミングに関する2編の論文が<Programming>論文誌に採録されます。論文はまた2025年6月にプラハで開催される<Programming>国際会議でも発表されます。これらの論文は大分大学の紙名博士と山口東京理科大学の青谷博士との共同研究です。
(さらに…)

Tom Beckmann によるゲスト講演

4月25日に、Hasso Plattner Institute のソフトウェアアーキテクチャグループのメンバー5名が研究室を訪問し、Tom Beckmann が “Defeating Dragons in the Classroom: Roleplaying Games for Teaching Communication Skills in Software Engineering” というタイトルの講演を行いました。

漸進的型付けに関するPPL2025でのカテゴリ2(国際既発表論文)発表

 

田邉第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025) にて、以下の既発表論文の発表を行います。本講演は2024年6月にデンマークで発表されたPLDI’24論文の内容に関するものです。

Related posts

(さらに…)