|
||
|---|---|---|
| Java 検証器 Regnant の帰還 | ||
| 小林亮太，五十嵐淳，末永幸平 |
 |
||
|---|---|---|
| Regnant: 分割可能所有権と篩型を用いた Java 検証器 | ||
| 小林亮太，John Toman，五十嵐淳，末永幸平 |
 |
||
|---|---|---|
| 仕様強化を用いたモデル検査による効率的なブラックボックス検査 | ||
| 四十坊純也, 和賀正樹, 末永幸平 |
 |
 |
 |
|---|---|---|
| レコードとハッシュテーブルの暗黙な相互運用を 可能にする型推論とコンパイル手法 |
暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証 | 物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化 |
| 梅木孝輔, 関山太朗, 五十嵐淳 | 伴野良太郎, 佐藤聡太, 古瀬淳, 末永幸平, 五十嵐淳 | 四十坊純也, 和賀正樹, 末永幸平 |
 |
 |
 |
|---|---|---|
| ReFX: 型に基づくスマートコントラクト自動検証器 | 依存型を備えた多段階計算の同値型による拡張 | 量子プログラムのための依存型を用いた coupling graph 解析 |
| 陳然, 齋藤大聖, 河田旺, 西田雄気, 五十嵐淳, 末永幸平, 古瀬淳 | 勝田峻太朗, 五十嵐淳 | 脇坂 遼, 五十嵐 淳 |
 |
 |
|
| Homoiconic Lisp | Toward a modalized linear-non-linear model | |
| 福田陽介 | 福田陽介 |
