Search results for "亀山, 幸義" | NDL Search

Search results 37

Group by title

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

Digital文書・図像類

亀山, 幸義2023

Available onlineOther Libraries in Japan

Author Heading亀山, 幸義

メタ・プログラミングの基礎理論

Paper図書

亀山幸義, 筑波大学 [著][亀山幸義]2004-2007<Y151-H16500004>

National Diet Library

Author Heading亀山, 幸義筑波大学

限定継続の計算系と論理

Paper図書

亀山幸義, 筑波大学 [著][亀山幸義]2001-2003<Y151-H13680411>

National Diet Library

Author Heading亀山, 幸義筑波大学

マルチステージ証明記述言語の設計と開発

Digital文書・図像類

亀山, 幸義2018

Available onlineOther Libraries in Japan

Author Heading亀山, 幸義

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

Digital文書・図像類

亀山, 幸義2016

Available onlineOther Libraries in Japan

Author Heading亀山, 幸義

必要呼び計算体系とコントロール抽象

Digital文書・図像類

亀山, 幸義2015

Available onlineOther Libraries in Japan

Author Heading亀山, 幸義

コード生成のためのプログラミング言語の基礎理論

Digital文書・図像類

亀山, 幸義2013

Available onlineOther Libraries in Japan

Author Heading亀山, 幸義

階層的コントロールの論理とプログラム抽出

Digital文書・図像類

亀山, 幸義2013

Available onlineOther Libraries in Japan

Author Heading亀山, 幸義

Reflection mechanism in constructive programming

PaperDigital博士論文障害者向け資料あり

亀山幸義 [著]<UT51-96-T527>

Available onlineNational Diet Library

Author Heading亀山, 幸義

メタ・プログラミングの基礎理論

Paper図書

亀山幸義研究代表[亀山幸義]2008.5

Other Libraries in Japan

Author Heading亀山, 幸義

限定継続の計算系と論理

Paper図書

亀山幸義研究代表者[亀山幸義]2004.5

Other Libraries in Japan

Author Heading亀山, 幸義

Polymorphic delimited continuations

Paper図書

Kenichi Asai and Yukiyoshi KameyamaDept. of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukbua[2007?]

Other Libraries in Japan

Author Heading浅井,健一亀山, 幸義

Combinatory Logic and λ-Calculus for Classical Logic

Digital文書・図像類

馬場, 謙介, 亀山, 幸義, 廣川, 佐千男Department of Informatics, Kyushu University2000-08-18DOI Technical Report176

Available onlineOther Libraries in Japan

Author Heading馬場, 謙介亀山, 幸義廣川, 佐千男

コンピュータソフトウェア

Paper雑誌雑誌タイトル

日本ソフトウェア科学会編日本ソフトウェア科学会1984-<Z14-1033>

National Diet LibraryOther Libraries in Japan

日本ソフトウェア科学会大会論文集

Paper雑誌雑誌タイトル

日本ソフトウェア科学会編日本ソフトウェア科学会1984-2019<Z14-1245>

National Diet LibraryOther Libraries in Japan

数学セミナー

PaperDigital雑誌雑誌タイトル

日本評論社1991-<Z15-27>

National Diet Library

情報処理学会論文誌 SIG

Paper雑誌雑誌タイトル

情報処理学会1998-2008<Z74-C192>

National Diet Library

構成的プログラミングにおける自己反映機構

Digital博士論文

Kameyama, YukiyoshiKyoto University1996-07-23

Available onlineOther Libraries in Japan

Author Alias亀山, 幸義カメヤマ, ユキヨシ

コンピュータ&ネットワークLAN

PaperDigital雑誌雑誌タイトル

オーム社[1983]-2002<Z14-1256>

National Diet LibraryOther Libraries in Japan

科学

PaperDigital雑誌雑誌タイトル

岩波書店1931-<Z14-72>

National Diet LibraryOther Libraries in Japan

RSS