佐藤伸也

サトウシンヤ | Sato Shinya

所属機関・部署：
職名：准教授
ホームページURL (1件)： https://satolab.com/

研究分野 (3件)：ソフトウェア , 計算機システム , 情報学基礎論

研究キーワード (4件)：インタラクションネット , プログラミング言語 , 形式手法 , 項(グラフ)書き換え系

論文 (25件)：

大瀧保広, 嶌田敏行, 山本一幸, 野口宏, 佐藤伸也, 外岡秀行, 羽渕裕真. 茨城大学における遠隔授業/テレワーク支援. 学術情報処理研究. 2020. 24. 1. 58-67
山本一幸, 大瀧保広, 佐藤伸也, 嶌田敏行, 野口宏, 羽渕裕真, 外岡秀行. 問合せデータの分散表現を用いた分類. 学術情報処理研究. 2020. 24. 1. 68-77
佐藤伸也. 学びへの動機付けと意欲向上への取り組み-リベラルアーツ理工系選択科目「計算機科学への招待」を対象として-. 茨城大学全学教育機構論集. 大学教育研究. 2019. 3. 139-153
佐藤伸也. 授業支援システムRENANDIの利用状況報告. 茨城大学全学教育機構論集. 大学教育研究. 2018. 2. 85-90
Ian Mackie, Shinya Sato. In-place graph rewriting with interaction nets. Electronic Proceedings in Theoretical Computer Science, EPTCS. 2016. 225. 15-24

書籍 (1件)：

講演・口頭発表等 (30件)：

FLIN: A Functional Language for Interaction Nets
(IFL 2023, The 35th Symposium on Implementation and Application of Functional Languages 2023)
Graph Edit Distance for Interaction Net Rewrite Rules
(GCM 23: 14th International Workshop on Graph Computation Models 2023)
Conditional Nested Pattern Matching in Interaction Nets
(13th International Workshop on Developments in Computational Models (DCM 2023) 2023)
オープンデータを活用した学習分析研究者のためのディープラーニングセミナー:学習分析学会における取り組み
(第44回教育システム情報学会全国大会 2019)
In-place Graph Rewriting with Interaction Nets
(9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016) 2016)

学歴 (4件)：

学位 (1件)：

経歴 (11件)：

全件表示

所属学会 (1件)：

Association for Computing Machinery

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

佐藤 伸也