カテゴリー: news


PROでの論文採択: LIFT中間言語の拡張

新美 和生と増原 英彦による論文『Lift中間表現における動的長配列の追加』が情報処理学会論文誌プログラミング (PRO92)に採択されました。

(追記) 本論文は情報処理学会論文誌:プログラミング, Vol.13, No.3, pp.1-12, June 1, 2020として刊行されました。

2020-03-20.

情報処理学会プログラミング研究会でキーワードプログラミングの改良手法に関して発表

申し訳ありません、このコンテンツはただ今　English　のみです。

2020-03-13.

増原が東工大教育賞を受賞

増原が「学生による議論を核とした授業形式の設計とプログラミング科目での実施」について2020年度の東工大教育賞・優秀賞を受賞しました。

2020-03-03.

PPL2020でのポスターとデモ発表

以下のメンバーがPPL2020でポスター・デモ発表をします．

  • Agda による対位法の定式化 (Youyou Cong)
  • Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level (Yusuke Izawa)
  • コエフェクト多相性に基づいた版多相性の実現 (Yudai Tanabe)
  • ACKN: A context-aware keyword programming system (poster) (Aochi Shu)
  • Object-oriented Programming with Versions (Luthfan Lubis)
  • Sanajeh: a DSL for GPGPU programming with Python objects (Jizhe Chenxin)
  • Lift中間言語における動的長配列の追加 (Kazuki Niimi)
  • デザインレシピに沿ったプログラミング環境の実装 (Junya Nose)

詳細: https://easychair.org/smart-program/PPL2020/

2020-03-02.

第7回SIGPXにてキーワードプログラミング・グラフレイアウト・教育用プログラミングの研究発表

申し訳ありません、このコンテンツはただ今　English　のみです。

2020-02-22.

能勢による学士論文発表

申し訳ありません、このコンテンツはただ今　English　のみです。

2020-02-07.

伊澤、田辺、叔が修士論文を発表しました

伊澤、田辺、叔が数理・計算科学コースの修士論文発表会で発表しました。

  • 伊澤侑祐, Stack Hybridization: A Mechanism for Bridging Two Compilation Strategies in a Meta JIT Compiler Framework (PDF)
  • 田辺裕大, 版を扱えるプログラミング言語λ VLへの型・版多相性の導入の研究 (PDF)
  • 叔驁馳, Improving keyword programming by using neural text generation (PDF)


(公式ページ)

2020-01-30.

Alex Potanin 先生の講演

Alex Potanin 先生（ヴィクトリア大学ウェリントン）に、以下のタイトルでご講演いただきました。Potanin 先生は、攻撃に強いウェブプログラミング言語 Wyvern の開発を行っています。

 

講演 1: Wyvern – Security by Design

講演 2: Decidable Subtyping for Path Dependent Types

2020-01-28.

情報処理学会プログラミング研究会での論文発表: LIFT中間言語の拡張

Lift中間表現における動的長配列の追加(新美、増原)が情報処理学会 第127回プログラミング研究発表会で発表されます。

2020-01-15.

Onward! 2019 国際会議 @ アテネ

Onward! 2019 国際会議 が2019年10月20-25日にアテネで開催されます。(OOPSLAを含む)SPLASH 国際会議と共催です。増原はOnward! Papers Trackのプログラム委員長を勤めます。

論文投稿締切は2019年4月22日です。過激な、ぶっ飛んだ、斬新なアイデアを振るって投稿して下さい!

2019-10-20.
Next page →
← Previous page