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

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

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

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

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

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

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

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

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

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

 

2022-03-06.
→
←