大倉 瑠維
Email : rui At logic.cs.tsukuba.ac.jp
略歴
- 2019年4月 - : 筑波大学大学院 (システム情報工学研究科 コンピュータサイエンス専攻)
- 2017年11月 - : プログラム論理研究室
- 2015年4月 - 2019年3月 : 筑波大学 (情報学群 情報科学類)
文献情報
- Reorganizing queries with Grouping (PDF)
Rui Okura, Yukiyoshi Kameyama, Proc. of the 19th International Conference on Generative Programming: Concepts & Experiences (GPCE 2020), pp.50-62, Nov. 2020.
この論文における補足資料と論文中の例題の詳細はこちらをご参照ください - Language-Integrated Query with Nested Data Structures and Grouping (PDF)
Rui Okura, Yukiyoshi Kameyama, Proc. of the 15th International Symposium on Functional and Logic Programming (FLOPS 2020), pp.139-158, Sep. 2020.
この論文における補足資料と論文中の例題の詳細はこちらをご参照ください
ポスター
- グループ化機能を持つ統合⾔語クエリに対する正規化
大倉 瑠維, 亀山 幸義, Presented at 第21回プログラミングおよびプログラミング言語ワークショップ[C3] (PPL 2019), Iwate, Japan, March, 2019.
修士論文
- Design and Efficient Implementation of Language-Integrated Query with Grouping
Rui Okura, Yukiyoshi Kameyama
卒業論文
- グループ化機能を持つ統合言語クエリの設計と効率的実装のためのプログラム変換
大倉 瑠維, 亀山 幸義, 海野 広志
ティーチングアシスタント
- 2020年10月 - 2021年2月 : ソフトウェアサイエンス実験B 「関数プログラミング」
- 2020年4月 - 2020年8月 : 論理と形式化
- 2020年2月 : プログラム言語論Ⅱ
- 2019年10月 - 2020年2月 : ソフトウェアサイエンス実験B 「関数プログラミング」
- 2019年7月 - 2019年8月 : プログラム言語論Ⅰ
- 2019年7月 - 2019年8月 : ソフトウェア技法
最終更新日 : 2021年1月19日