Skip to content

プログラミング研究室

東京工業大学情報理工学院数理・計算科学系

ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス

木内康介

言語:
- English
- 日本語
検索:
News
- 空間効率の良い漸進的型付けに関する PLDI 2024 論文
  2024-06-28
- Programming With Versionsに関する千葉工大ステアラボセミナー招待講演
  2024-05-24
- 継続に関する FLOPS 2024 招待講演
  2024-05-17
- 1名の助教、5名の卒業研究学生、1名の修士研究学生が新たに研究室に加わりました
  2024-04-01
- 2024年3月修了者
  2024-03-26
- 中学・高校生が研究室セミナーに体験参加
  2024-03-14
- エラー生成クイズの問題作成支援ツールに関するPPL 2024論文
  2024-03-05
- バージョンプログラミング言語のコンパイル手法に関するPPL 2024発表
  2024-03-05
- PPL 2024 ポスター発表
  2024-03-05
- メンバー5名が学士論文を発表
  2024-02-09
関連サイト
- 東京工業大学
- 情報理工学院
- 数理・計算科学系
  (補助サイト)
- (旧組織) 大学院情報理工学研究科