カテゴリー: version-programming


田邉の博士論文がJournal of Functional Programmingにて紹介

田辺裕大の博士論文 “A Programming Language with VersionsJournal of Functional Programmingの「PhD Abstracts」において紹介されました。

バージョン多相プログラミングに関する学生研究コンテストポスター発表

Luthfan Anshar Lubisが米国ワシントン大学で開催された第37回オブジェクト指向プログラミングに関するヨーロッパ会議(ECOOP 2023)の学生研究コンテストにおいて “Polymorphism for Programming With Versions” と題する発表を行いました。

👉 Project

「バージョン付き関数型プログラミング言語」の発表 (@ ‹Programming› 2023)

田辺Luthfan青谷増原による論文「A Functional Programming Language with Versions」がThe International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2023)で発表されます。
本論文は、昨年の同会議‹Programming› 2022でも発表されています

(さらに…)

PPL2023で3件のポスター発表

名古屋大学およびオンラインのハイブリッド形式で開催される第25回プログラミングおよびプログラミング言語ワークショップにて3件ポスター・デモ発表がありました。

(さらに…)

博士論文公聴会: 田辺裕大

田辺裕大の博士論文 “A Programming Language with Versions” の公聴会が開かれました。複数のバージョンから成るプログラムを1つのプログラムの中から同時に扱える画期的なプログラミング言語に関する研究です。

(さらに…)

国際会議SLE2022にてバージョン付きオブジェクト指向言語BatakJavaの論文を発表

Luthfan, 田辺, 青谷, 増原らの論文が国際会議Software Language Engineering (SLE ’22)に採録・発表されます。バージョンによって異なる定義を1つのプログラム中で扱えることを目指したバージョン付きプログラミングをオブジェクト指向言語に適用し、その言語設計と実現方法を提案しています。

👉 プロジェクト

COP 2022国際ワークショップにおいてバージョン付きプログラミング言語に関する講演

田辺Luthfan青谷増原による論文「A Step toward Programming with Versions in Real-World Functional Languages」がInternational Workshop on Context-Oriented Programming and Advanced Modularity (COP’22)に採択され、2022年6月7日にBerlinにて開催されるCOP’22国際ワークショップにて発表されました。

「バージョン付き関数型プログラミング言語」の発表 (@ ‹Programming› 2022)

田辺Luthfan青谷増原による論文「A Functional Programming Language with Versions」がThe International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2022)で発表されます。

(さらに…)

PPL2022にてモナディック等式推論に関する論文(といくつかの論文・ポスター・デモ)発表

カテゴリ1: 新規発表論文

以下の論文が第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022) に採録、発表されました。

  • Practical Aspects of Monadic Equational Reasoning in Coq (Saito, Affeldt)

カテゴリ2: 国際既発表論文

また、以下の既発表論文が発表されました。

カテゴリ3: ポスター・デモ

また、以下のポスター・デモが発表されました。

  • [ポスター・デモ] 型を利用した音楽自動生成に向けて ()
  • [ポスター] エラー生成クイズの提案と実施様子の観察結果の紹介 (角田)
  • [ポスター・デモ] デザインレシピに基づいた初学者のための学習環境(能勢)

(さらに…)

バージョンプログラミング言語に関するCOP’21招待講演

田辺、Lubisによる以下の二件の招待講演がthe International Workshop on Context-Oriented Programming and Advanced Modularity (COP’21)で行われます。

 

(さらに…)

Next page →
← Previous page