ＫｉｓｅｌｙｏｖＯｌｅｇ Kiselyov Oleg

… 別表記

Kiselyov Oleg KISELYOV Oleg

キセリョーフオレッグ KISELYOV Oleg

研究者番号	50754602
その他のID
所属 (現在)	2025年度: 東北大学, 情報科学研究科, 客員研究員
所属 (過去の研究課題情報に基づく) *注記	2024年度: 東北大学, 情報科学研究科, 客員研究員 2017年度 – 2023年度: 東北大学, 情報科学研究科, 助教 2015年度: 東北大学, 情報科学研究科, 助教
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / ソフトウェア研究代表者以外小区分60050:ソフトウェア関連 / ソフトウェア
キーワード	研究代表者 DSL / Info flow processing / Stream processing / complex event processing / sensor fusion / software-defined radio / info flow processing / stream processing / 関数プログラミング / プログラミング言語 … もっと見る / ソフトウエア学 / ソフトウエア開発効率化・安定化 / NBE / domain-specifc language / domain-specific language / algebra / denotational semantics / tagless-final / Domain-specific language … もっと見る研究代表者以外型システム / プログラム生成 / 依存型 / プログラム解析 / 段階的計算 / 計算エフェクト / 高性能計算 / プログラム特化 / オフショアリング / 暗号実装 / ヘテロジニアス・コード生成 / メタプログラミング / プログラム解析・検証 / 仕様記述 / 安全性 / スクープ安全性 / 多相型 / 統合言語クエリ / ヘテロジニアスプログラム生成 / モジュール抽象 / 静的安全性 / 一般化代数データ型 / コントロールオペレータ / 先進的型システム / プログラムの信頼性 / 異種プログラム生成 / モジュール / 型安全性 / 多段階計算 / ソフトウェア検証 / プログラミング言語 / 実行時プログラム生成 / 関数型プログラミング言語 / プログラム変換 / プログラム検証 / 関数型プログラム言語 / ディペンダブルコンピューティング隠す

依存型を持つ段階的計算体系の理論と実装
- 研究代表者
  
  亀山幸義
- 研究期間 (年度)
  2022 – 2025
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  筑波大学
Perfect Stream Fusion for Information Flow Processing研究代表者
- 研究代表者
  
  Kiselyov Oleg
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東北大学
先進的型理論に基づく多段階計算体系の設計と実装
- 研究代表者
  
  亀山幸義
- 研究期間 (年度)
  2018 – 2021
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  筑波大学
Tagless-final DSL embedding: how to keep extending the language and be sure it will still work研究代表者
- 研究代表者
  
  Kiselyov Oleg
- 研究期間 (年度)
  2017 – 2022
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  東北大学
信頼性の高いコード生成のためのプログラミング言語の実現
- 研究代表者
  
  亀山幸義
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  筑波大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 その他

すべて雑誌論文学会発表図書

[図書] NII Shonan Meeting report No. 1462019
- 著者名/発表者名
  Sam Lindley, Nicolas Wu, Oleg Kiselyov, Gordon Plotkin
- 総ページ数
  11
- 出版者
  Programming and Reasoning with Algebraic Effects and Effect Handlers
- ISBN
- データソース
  KAKENHI-PROJECT-18H03218
[図書] Reconciling Abstraction with High Performance: A MetaOCaml approach2018
- 著者名/発表者名
  Oleg Kiselyov
- 総ページ数
  112
- 出版者
  Now Publishers
- ISBN
  9781680834369
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Complete Stream Fusion for Software-Defined Radio2024
- 著者名/発表者名
  Kobayashi Tomoaki、Kiselyov Oleg
- 雑誌名
  
  Proc. PEPM 2024 (ACM DL)
  
  巻: n/a ページ: 57-69
- DOI
  10.1145/3635800.3636962
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[雑誌論文] Generating C: Heterogeneous metaprogramming system description2024
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  Science of Computer Programming
  
  巻: 231 ページ: 103015-103015
- DOI
  10.1016/j.scico.2023.103015
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821, KAKENHI-PROJECT-23K24819
[雑誌論文] MetaOCaml Theory and Implementation2023
- 著者名/発表者名
  Oleg Kiselyov
- 雑誌名
  
  ACM SIGPLAN OCAML 2023 workshop
  
  巻: -
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K24819
[雑誌論文] Events and Relative Clauses2023
- 著者名/発表者名
  Oleg Kiselyov and Haruki Watanabe
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: in print
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Free Variable as Effect, in Practice2023
- 著者名/発表者名
  Oleg Kiselyov
- 雑誌名
  
  ACM SIGPLAN HOPE 2023 workshop
  
  巻: -
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K24819
[雑誌論文] Generating C2022
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 13215 ページ: 75-93
- DOI
  10.1007/978-3-030-99461-7_5
- ISBN
  9783030994600, 9783030994617
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821, KAKENHI-PROJECT-17K00091, KAKENHI-PROJECT-23K24819
[雑誌論文] Complete Stream Fusion for Software-Defined Radio2022
- 著者名/発表者名
  Tomoaki Kobayashi and Oleg Kiselyov
- 雑誌名
  
  ArXiv
  
  巻: 2208.08732
- データソース
  KAKENHI-PROJECT-21K11821
[雑誌論文] Generating C: System Description2022
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  Accepted for FLOPS 2022 and in press
  
  巻: n/a
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[雑誌論文] New View on Plasma Fractals -- From the High Point of Array Languages2022
- 著者名/発表者名
  Oleg Kiselyov, Toshihiro Nakayama
- 雑誌名
  
  ACM SIGPLAN FARM 2022 workshop/Arxiv
  
  巻: 2212.12502
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[雑誌論文] Highest-performance Stream Processing2022
- 著者名/発表者名
  Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos
- 雑誌名
  
  ACM SIGPLAN OCaml Workshop/ArXiv
  
  巻: 2211.13461
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[雑誌論文] Generating C: System Description2022
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  LNCS, Proc. of FLOPS 2022, accepted and in print
  
  巻: n/a
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Do Mutable Variables Have Reference Types?2022
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  ACM SIGPLAN ML Family Workshop 2022/ ArXiv
  
  巻: 2211.04107
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] All Things Flow: Unfolding the History of Streams2021
- 著者名/発表者名
  Aggelos Biboudis, Jeremy Gibbons, Oleg Kiselyov
- 雑誌名
  
  Proceedings of HAPOC 21
  
  巻: HAPOC21
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[雑誌論文] Polynomial Event Semantics: Negation2021
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 12758 ページ: 82-95
- DOI
  10.1007/978-3-030-79942-7_6
- ISBN
  9783030799410, 9783030799427
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Not by equations alone: Reasoning with extensible effects2021
- 著者名/発表者名
  KISELYOV OLEG、MU SHIN-CHENG、SABRY AMR
- 雑誌名
  
  Journal of Functional Programming
  
  巻: 31
- DOI
  10.1017/s0956796820000271
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091, KAKENHI-PROJECT-18H03218
[雑誌論文] より清浄なStream Fusion2020
- 著者名/発表者名
  小林友明, Oleg Kiselyov
- 雑誌名
  
  日本ソフトウェア科学会第37回大会, 2020
  
  巻: -
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Lambek Grammars as Second-Order Abstract Categorial Grammars2020
- 著者名/発表者名
  Kiselyov Oleg、Hoshino Yuya
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 12331 ページ: 231-243
- DOI
  10.1007/978-3-030-58790-1_15
- ISBN
  9783030587895, 9783030587901
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Many more predecessors: A representation workout2020
- 著者名/発表者名
  KISELYOV OLEG
- 雑誌名
  
  Journal of Functional Programming
  
  巻: 30
- DOI
  10.1017/s095679682000009x
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Lambek Grammars as Second-order Abstract Categorial Grammars2020
- 著者名/発表者名
  Oleg Kiselyov and Hoshino Yuya
- 雑誌名
  
  Lecture Notes in Computer Science (in Press)
  
  巻: in press
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Session Types Without Sophistry2020
- 著者名/発表者名
  Kiselyov Oleg、Imai Keigo
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 12073 ページ: 66-87
- DOI
  10.1007/978-3-030-59025-3_5
- ISBN
  9783030590246, 9783030590253
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091, KAKENHI-PROJECT-17K12662, KAKENHI-PROJECT-18H03218
[雑誌論文] Polynomial Event Semantics2019
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 11717 ページ: 313-324
- DOI
  10.1007/978-3-030-31605-1_23
- ISBN
  9783030316044, 9783030316051
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Effects Without Monads: Non-determinism ? Back to the Meta Language2019
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  Electronic Proceedings in Theoretical Computer Science
  
  巻: 294 ページ: 15-40
- DOI
  10.4204/eptcs.294.2
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Generating Mutually Recursive Definitions2019
- 著者名/発表者名
  Jeremy Yallop, Oleg Kiselyov
- 雑誌名
  
  Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  
  巻: - ページ: 75-81
- DOI
  10.1145/3294032.3294078
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03218
[雑誌論文] $$\lambda $$λ to SKI, Semantically2018
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 10818 ページ: 33-50
- DOI
  10.1007/978-3-319-90686-7_3
- ISBN
  9783319906850, 9783319906867
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Functional Stream Libraries and Fusion: What's Next?2018
- 著者名/発表者名
  Aggelos Biboudis (EPFL, Switzerland), Oleg Kiselyov, Martin Odersky (EPFL, Switzerland)
- 雑誌名
  
  NII Shonan Seminar Report
  
  巻: No.2018-14
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03218
[雑誌論文] Meta-Programming for Statistical Machine Learning2018
- 著者名/発表者名
  Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama
- 雑誌名
  
  NII Shonan Seminar Report,
  
  巻: No. 2018-7
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03218
[雑誌論文] Eff Directly in OCaml2018
- 著者名/発表者名
  Kiselyov Oleg、Sivaramakrishnan KC
- 雑誌名
  
  Electronic Proceedings in Theoretical Computer Science
  
  巻: 285 ページ: 23-58
- DOI
  10.4204/eptcs.285.2
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Transformational Semantics (TS) on a Tree Bank2018
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: in press
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Transformational Semantics on a Tree Bank2018
- 著者名/発表者名
  Kiselyov Oleg
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 10838 ページ: 241-252
- DOI
  10.1007/978-3-319-93794-6_17
- ISBN
  9783319937939, 9783319937946
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Higher-order Programming is an Effect2017
- 著者名/発表者名
  Oleg Kiselyov
- 雑誌名
  
  Informal Proc. HOPE 2017 at ICFP 2017. Oxford, UK, Sep 3, 2017
  
  巻: na
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Sound and Efficient Language-Integrated Query2017
- 著者名/発表者名
  Kiselyov Oleg、Katsushima Tatsuya
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 10695 ページ: 364-383
- DOI
  10.1007/978-3-319-71237-6_18
- ISBN
  9783319712369, 9783319712376
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[雑誌論文] Staging beyond terms: prospects and challenges2016
- 著者名/発表者名
  Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
- 雑誌名
  
  Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  
  巻: なしページ: 103-108
- DOI
  10.1145/2847538.2847548
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-25280020
[雑誌論文] Finally, safely-extensible and efficient language-integrated query2016
- 著者名/発表者名
  Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama
- 雑誌名
  
  Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  
  巻: なしページ: 37-48
- DOI
  10.1145/2847538.2847542
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-25280020
[雑誌論文] ついにSQLを組み立てる：拡張可能で安全な統合言語クエリ2015
- 著者名/発表者名
  鈴木健一、亀山幸義、オレッグキセリョーフ
- 雑誌名
  
  第17回プログラミングおよびプログラミング言語ワークショップ論文集（オンライン）
  
  巻: 17 ページ: 17-17
- 査読あり
- データソース
  KAKENHI-PROJECT-25280020
[雑誌論文] Combinators for impure yet hygienic code generation2015
- 著者名/発表者名
  Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
- 雑誌名
  
  Science of Computer Programming
  
  巻: 112 ページ: 120-144
- DOI
  10.1016/j.scico.2015.08.007
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25280020
[雑誌論文] The Next Stage of Staging2015
- 著者名/発表者名
  Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
- 雑誌名
  
  第17回プログラミングおよびプログラミング言語ワークショップ論文集（オンライン）
  
  巻: 17 ページ: 11-11
- 査読あり
- データソース
  KAKENHI-PROJECT-25280020
[雑誌論文] Combinators for Impure yet Hygienic Code Generation2014
- 著者名/発表者名
  Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
- 雑誌名
  
  Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  
  巻: 2014 ページ: 3-14
- DOI
  10.1145/2543728.2543740
- 査読あり
- データソース
  KAKENHI-PROJECT-25280020
[学会発表] The Mysteries of AXPY2024
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  IFIP WG 2.11
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[学会発表] ARPL Tutorial2023
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  <Programming> 23
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[学会発表] Free Variable as Effect, in Practice2023
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  ACM SIGPLAN HOPE Workshop 2023
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K24819
[学会発表] MetaOCaml Theory and Implementation2023
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  ACM SIGPLAN OCaml Workshop 2023
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K24819
[学会発表] let (rec) insertion without Effects, Lights or Magic2022
- 著者名/発表者名
  Oleg Kiselyov and Jeremy Yallop
- 学会等名
  ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03218
[学会発表] Even Better Stream Fusion2022
- 著者名/発表者名
  Kiselyov Oleg
- 学会等名
  University of Oxford Department of Computer Science. Seminar on Tensor Computation
- 招待講演
- データソース
  KAKENHI-PROJECT-21K11821
[学会発表] Lambek Grammars and a New Look to Context-Free Grammars (half-tutorial)2022
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  AiDL 2022 workshop
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Generating C - System Description2022
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  16th International Symposium on Functional and Logic Programming (FLOPS 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K24819
[学会発表] 配列言語によるプラズマフラクタル生成アルゴリズムの実装と検討(ポスター・デモ)2022
- 著者名/発表者名
  中山敏宏 and Oleg Kiselyov
- 学会等名
  第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）
- データソース
  KAKENHI-PROJECT-21K11821
[学会発表] Generating C2022
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  FLOPS 2022
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[学会発表] Highest-performance Stream Processing2022
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  ACM SIGPLAN OCaml workshop
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[学会発表] Do Mutable Variables Have Reference Types?2022
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  ACM SIGPLAN ML 2022 Workshop
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Events and Relative Clauses2022
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  LENLS (Logic and Engineering of Natural Language Semantics 19)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Mutable Variables and Reference Types -- or, L-values Demystified2022
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  IFIP WG2.1
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[学会発表] Completeなストリーム融合によるソフトウェア無線のディジタル信号処理（ポスター）2022
- 著者名/発表者名
  小林友明, Oleg Kiselyov
- 学会等名
  第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）
- データソース
  KAKENHI-PROJECT-21K11821
[学会発表] Generating C2022
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  FLOPS 2022
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Grasping `all-the-apples-at-once’2021
- 著者名/発表者名
  Kiselyov Oleg
- 学会等名
  IFIP WG2.1 Meeting, July 1, 2021
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11821
[学会発表] 配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語（ポスター・デモ）2021
- 著者名/発表者名
  庄司諭, Oleg Kiselyov
- 学会等名
  第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] 配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語2021
- 著者名/発表者名
  庄司諭 Oleg Kiselyov
- 学会等名
  第２３回プログラミングおよびプログラミング言語ワークショップ
- データソース
  KAKENHI-PROJECT-18H03218
[学会発表] QNP Textual Entailment with Polynomial Event Semantics2021
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  LENLS18 (Logic and Engineering of Natural Language Semantics 18)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Session Types without Sophistry2020
- 著者名/発表者名
  Keigo Imai, Oleg Kiselyov
- 学会等名
  nternational Symposium on Functional and Logic Programming (FLOPS 2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03218
[学会発表] Polynomial Event Semantics: Negation2020
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  Logic and Engineering of Natural Language Semantics 17 (LENLS17)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] より清浄なStream Fusion2020
- 著者名/発表者名
  小林友明, Oleg Kiselyov
- 学会等名
  日本ソフトウェア科学会第３７回大会
- データソース
  KAKENHI-PROJECT-18H03218
[学会発表] Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems2019
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  IFIP WG2.11 20th Meeting
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03218
[学会発表] let (rec) insertion without effects, lights or magic2019
- 著者名/発表者名
  Oleg Kiselyov, Jeremy Yallop
- 学会等名
  ML Family Workshop
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03218
[学会発表] セッション型、簡潔に2019
- 著者名/発表者名
  オレッグキセリョーヴ今井敬吾
- 学会等名
  第２１回プログラミングおよびプログラミング言語ワークショップ (poster)
- データソース
  KAKENHI-PROJECT-18H03218
[学会発表] From the tagless-final cookbook: simple hardware description language and optimization-by-evaluation2019
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  Second International Summer School on Metaprogramming, Schloss Dagstuhl
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Lambek Grammars as Second-order Abstract Categorial Grammars2019
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  Logic and Engineering of Natural Language Semantics, LENLS16
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Session types without sophistry2018
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  IFIP Working Group 2.11, 18th meeting (Kyoto, Japan)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03218
[学会発表] Lambda to SKI2018
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  IFIP Working Group 2.1, 77th meeting (Brandenburg, Germany)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] lambda to SKI, Semantically. Declarative Pearl2018
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  Fourteenth International Symposium on Functional and Logic Programming
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Polynomial event Semantics: Non-Montagovian proper treatment of quantifiers.2018
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  Logic and Engineering of Natural Language Semantics, LENLS15
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] tagless-final・extensible-effectsから機械自然言語理解まで [C3 (ポスター・デモ)]2018
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  第20回プログラミングおよびプログラミング言語ワークショップ PPL 2018
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Sound and Efficient Language-Integrated Query -- Maintaining the ORDER2017
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  APLAS 2017
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Effects without monads: non-determinism2017
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  ML Family workshop at ICFP 2017
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Transformational Semantics (TS) on a Tree Bank2017
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  LENLS 14
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Sound and Efficient Language-Integrated Query: Maintaining the ORDER2017
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  EPFL, IC Colloquium (EPFL, Lausanne, Switzerland)
- 招待講演
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Higher-order Programming is an Effect2017
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  HOPE 2017 at ICFP 2017
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] Systematic Generation of Optimal Code2017
- 著者名/発表者名
  Oleg Kiselyov
- 学会等名
  Tutorial at IFL 2017
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00091
[学会発表] 拡張可能で安全な統合言語クエリ　（ポスター発表）2014
- 著者名/発表者名
  鈴木健一、亀山幸義、オレッグキセリョーフ
- 学会等名
  日本ソフトウェア科学会第31回大会
- 発表場所
  名古屋大学（愛知）
- 年月日
  2014-09-09
- データソース
  KAKENHI-PROJECT-25280020
[学会発表] コード生成のための自然演繹
- 著者名/発表者名
  須藤悠斗、Oleg Kiselyov, 亀山幸義
- 学会等名
  日本ソフトウェア科学会第31回大会
- 発表場所
  名古屋大学（愛知）
- 年月日
  2014-09-08 – 2014-09-10
- データソース
  KAKENHI-PROJECT-25280020
[学会発表] Prolog 再考：　急がないで推測
- 著者名/発表者名
  Oleg Kiselyov, 亀山幸義
- 学会等名
  日本ソフトウェア科学会第31回大会
- 発表場所
  名古屋大学（愛知）
- 年月日
  2014-09-08 – 2014-09-10
- データソース
  KAKENHI-PROJECT-25280020

1. 亀山幸義 (10195000)

共同の研究課題数: 3件

共同の研究成果数: 10件
2. 浅井健一 (10262156)

共同の研究課題数: 3件

共同の研究成果数: 0件
3. 五十嵐淳 (40323456)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 海野広志 (80569575)

共同の研究課題数: 1件

共同の研究成果数: 0件

Ｋｉｓｅｌｙｏｖ Ｏｌｅｇ Kiselyov Oleg

Kiselyov Oleg KISELYOV Oleg

キセリョーフ オレッグ KISELYOV Oleg

研究課題

研究成果

共同研究者

依存型を持つ段階的計算体系の理論と実装

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

Perfect Stream Fusion for Information Flow Processing研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

先進的型理論に基づく多段階計算体系の設計と実装

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

Tagless-final DSL embedding: how to keep extending the language and be sure it will still work研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

信頼性の高いコード生成のためのプログラミング言語の実現

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] NII Shonan Meeting report No. 1462019

著者名/発表者名

総ページ数

出版者

ISBN

データソース

[図書] Reconciling Abstraction with High Performance: A MetaOCaml approach2018

著者名/発表者名

総ページ数

出版者

ISBN

データソース

[雑誌論文] Complete Stream Fusion for Software-Defined Radio2024

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Generating C: Heterogeneous metaprogramming system description2024

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] MetaOCaml Theory and Implementation2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Events and Relative Clauses2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Free Variable as Effect, in Practice2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Generating C2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Complete Stream Fusion for Software-Defined Radio2022

著者名/発表者名

雑誌名

データソース

ＫｉｓｅｌｙｏｖＯｌｅｇ Kiselyov Oleg

キセリョーフオレッグ KISELYOV Oleg