Rui Okura
Email : rui At logic.cs.tsukuba.ac.jp
Academic Background
- Apr. 2019 - : University of Tsukuba (Department of Computer Science)
- Nov. 2017 - : Programming Logic Group
- Apr. 2015 - Mar. 2019 : University of Tsukuba (College of Information Science)
Publications
- 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.
See also supplementary material and the detail of examples in this paper available here. - 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.
See also supplementary material and the detail of examples in this paper available here.
Posters
- グループ化機能を持つ統合⾔語クエリに対する正規化
大倉 瑠維, 亀山 幸義, Presented at 第21回プログラミングおよびプログラミング言語ワークショップ[C3] (PPL 2019), Iwate, Japan, March, 2019.
Master Thesis
- Design and Efficient Implementation of Language-Integrated Query with Grouping
Rui Okura, Yukiyoshi Kameyama
Bachelor Thesis
- グループ化機能を持つ統合言語クエリの設計と効率的実装のためのプログラム変換
大倉 瑠維, 亀山 幸義, 海野 広志
Teaching Assistant
- Oct. 2020 - Feb. 2021 : Software and Computing Science Laboratory B (Functional Programming)
- Apr.2020 - Aug.2020 : Introduction to First-order Logic and Formalization
- Feb.2020 : Programming Language Ⅱ
- Oct. 2019 - Feb. 2020 : Software and Computing Science Laboratory B (Functional Programming)
- July. 2019 - Aug. 2019 : Programming Language Ⅰ
- July. 2019 - Aug. 2019 : The Art of Programming
Last updated : Jan. 19, 2021