User Tools

Site Tools


publications

Differences

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

Link to this comparison view

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