• 小
  • 中
  • 大
ENGLISH 使い方
文献、特許、研究者などの科学技術情報サイト
詳細検索
すべて

同義語を見る(0)

専門用語を詳しく探す

シソーラスmap クリップ

ー



MyJ-GLOBALにログインしてご利用ください。
はじめての方はアカウント登録をお願いします。
MyJ-GLOBAL とは？
ログイン 新規登録
クリップ数の上限を超えました (最大クリップ数: 600)
閉じる
リセット
「検索方法」ページへ
詳細検索：
を探す
　詳細検索を行う基本情報を選んでください
フリーワード
～
構造検索
構造検索の利用方法
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
構造ファイル取込

MOLfileがご利用頂けます。 (V3000形式はご利用頂けません）

              
詳細情報
関連リンク
探す

共著の研究者

共同発明の研究者

この研究者の研究内容に近い研究者

この研究者の研究内容に近い文献

この研究者の研究内容に近い特許

この研究者の研究内容に近い研究課題

この研究者が著者と推定される文献

この研究者が発明者と推定される特許

研究者
J-GLOBAL ID：201201002237994783   更新日: 2025年04月12日

松田 一孝

マツダ カズタカ | Matsuda Kazutaka
クリップ
所属機関・部署：
東北大学 大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野

東北大学 大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野 について


職名： 准教授
ホームページURL (1件)： http://www2.sf.ecei.tohoku.ac.jp/~kztk/
研究分野 (2件)： ソフトウェア ,  情報学基礎論
研究キーワード (4件)： 領域特化言語 ,  プログラム変換 ,  関数プログラミング ,  プログラミング言語
競争的資金等の研究課題 (13件)：
  • 2022 - 2027 複数データ同期のため高水準双方向変換ネットワーク記述言語
  • 2019 - 2023 一方向プログラミングと双方向プログラミングの融合
  • 2019 - 2021 利便性の高い双方向プログラミング言語
  • 2018 - 2021 双方向変換記述のための高水準プログラミング言語
  • 2016 - 2019 継続と文脈の概念にもとづく新しい関係的プログラム意味論
全件表示
論文 (40件)：
  • Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang. Reconciling Partial and Local Invertibility. Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II. 2024. 59-89
  • Kazutaka Matsuda, Meng Wang. Sparcl: A language for partially invertible computation. J. Funct. Program. 2024. 34
  • Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu. Embedding by Unembedding. Proceedings of the ACM on Programming Languages. 2023. 7. ICFP. 1-47
  • Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang. Synbit: synthesizing bidirectional programs using unidirectional sketches. Formal Methods Syst. Des. 2022. 61. 2. 198-247
  • Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang. Synbit: synthesizing bidirectional programs using unidirectional sketches. Proceedings of the ACM on Programming Languages. 2021. 5. OOPSLA. 1-31
もっと見る
MISC (3件)：
  • 松田 一孝. ビブリオ・トーク -私のオススメ-:To Mock a Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure in Combinatory Logic. 情報処理. 2015. 56. 2. 200-201
  • 加藤 弘之, 胡 振江, 日高 宗一郎, 松田一孝. 高談闊論:双方向変換の原理と実践. コンピュータ・ソフトウェア. 2014
  • 松田 一孝. 補関数によるプログラムの双方向化に関する研究(<連載>研究会推薦博士論文速報). 情報処理. 2010. 51. 10. 1362-1362
書籍 (1件)：
  • IT研究者のひらめき本棚 : ビブリオ・トーク : 私のオススメ
    近代科学社 2017 ISBN:9784764905481
講演・口頭発表等 (29件)：
  • 先送りレンズ
    (日本ソフトウェア科学会第 41 回大会 2024)
  • Embedding by Unembedding
    (日本ソフトウェア科学会第41回大会 2024)
  • OCamlにおけるEmbedding by Unembedding
    (第26回プログラミングおよびプログラミング言語ワークショップ 2024)
  • 双方向変換言語におけるpin演算子の有用性の確認
    (第26回プログラミングおよびプログラミング言語ワークショップ 2024)
  • Lenses for Web Applications
    (プログラミングおよびプログラミング言語ワークショップ 2023)
もっと見る
学位 (1件)：
  • 博士(情報理工学) (東京大学)
委員歴 (10件)：
  • 2025/04 - 現在 電気情報通信学会 和文マガジン B-Plus 編集委員
  • 2024/04 - 現在 日本ソフトウェア科学会 プログラミング論研究会 運営委員
  • 2013/04 - 現在 日本ソフトウェア科学会 論文誌「コンピュータソフトウェア」編集委員
  • 2024 - 2024 日本ソフトウェア科学会 プログラミング論研究会 PPLサマースクール2024 幹事
  • 2019/04 - 2023/03 情報処理学会プログラミング研究会 幹事
全件表示
受賞 (1件)：
  • 2012/01 - PEPM 2012 Best Paper Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals
所属学会 (4件)：
Association for Computing Machinery ,  情報処理学会 ,  日本ソフトウェア科学会 ,  電気情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM