Differences

This shows you the differences between two versions of the page.

--- publications [2025/02/21 19:29] – kawabata
+++ publications [2025/09/09 09:55] (current) – kawabata
@@ Line 1: / Line 1: @@
 ==== List of research papers and presentations (refereed ✔) ====
+  * 林慶祐, 川端英之, 弘中哲夫, TyDeViewerの実現に向けて：式の型導出の可視化による依存型プログラミング支援, 日本ソフトウェア科学会第42回大会, ポスター発表, Sep. 5, 2025.
+  * 髙畠悠太，川端英之，弘中哲夫, Redexで実装された核言語インタプリタのためのフロントエンドの自動生成, 情報処理学会第153回プログラミング研発表会発表資料, Mar. 27, 2025.
+  * 髙畠悠太，川端英之，弘中哲夫, Redexを用いて実装された核言語のインタプリタに対する表層言語パーザの自動生成，情報処理学会第87回全国大会講演論文集, Mar. 13, 2025.
   * 林慶祐, 川端英之, 弘中哲夫, Idrisプログラムにおける部分式の型導出システムの開発 ―依存型付き言語によるプログラムの読解や記述の支援―, 第66回プログラミング・シンポジウム, Jan. 15, 2025.
   * 藤原新, 川端英之, 弘中哲夫, ユーザフレンドリーな Java to Kotlin コンバータの開発, 第66回プログラミング・シンポジウム, Jan. 15, 2025.