「"桜井, 貴文"」の検索結果 | NDLサーチ

検索結果 20 件

タイトルでまとめる

論理体系の意味論と文法的性質の関係

紙図書

桜井, 貴文, 千葉大学2000-2001<Y151-H12680329>

国立国会図書館

著者標目桜井, 貴文

Typed λ-calculi and their extensions

紙博士論文

Takafumi Sakurai [著][Takafumi Sakurai][2002]<UT51-2002-G536>

国立国会図書館

著者標目櫻井, 貴文

型理論の意味論と文法的性質の関係

紙図書

桜井, 貴文, 千葉大学1998-1999<Y151-H10680334>

国立国会図書館

著者標目桜井, 貴文

千葉大学校友会SNS「Curio」の現状と今後の計画 (入力インタフェース,SNS,ライフログ活用技術,オフィスインフォメーションシステム,ライフインテリジェンス,一般)

デジタル文書・図像類

檜垣, 泰彦, 桜井, 貴文, 虎岩, 雅明, 進藤, 啓介, 大塚, 成男電子情報通信学会2012-03電子情報通信学会技術研究報告. LOIS, ライフインテリジェンスとオフィス情報システム111 470p.135-140

全国の図書館

著者標目檜垣, 泰彦桜井, 貴文虎岩, 雅明進藤, 啓介大塚, 成男

論理体系の意味論と文法的性質の関係

紙図書

研究代表者桜井貴文[千葉大学]2002.4

全国の図書館

著者標目桜井, 貴文

型理論の意味論と文法的性質の関係

紙図書

研究代表者桜井貴文[千葉大学]2000.4

全国の図書館

著者標目桜井, 貴文

岩波講座ソフトウェア科学 13

紙デジタル図書

長尾真 [ほか]編岩波書店1991.9<M159-E227>

国立国会図書館全国の図書館

著者標目佐藤, 雅彦, 1947- 桜井, 貴文, 1959-

プログラムの基礎理論

紙図書

佐藤雅彦, 桜井貴文 [共著]岩波書店1991.9

全国の図書館

著者標目佐藤, 雅彦桜井, 貴文

Abrasive technology : 砥粒加工学会誌 : journal of the Japan Society for Abrasive Technology

紙デジタル雑誌雑誌タイトル

砥粒加工学会1987-<Z16-1147>

国立国会図書館全国の図書館

型付λ計算とその拡張

デジタル博士論文

Sakurai, Takafumi京都大学 (Kyoto University)2002-03-25

インターネットで読める全国の図書館

著者別名櫻井, 貴文サクライ, タカフミ

数学セミナー

紙デジタル雑誌雑誌タイトル

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

国立国会図書館

情報処理 : 情報処理学会誌 : IPSJ magazine

紙雑誌雑誌タイトル

情報処理学会1960-<Z14-352>

国立国会図書館全国の図書館

Bit : コンピュータサイエンス誌

紙デジタル雑誌雑誌タイトル

共立出版1969-2001<Z14-405>

国立国会図書館全国の図書館

電子情報通信学会技術研究報告 : 信学技報

紙雑誌雑誌タイトル

電子情報通信学会1987-2020<Z16-940>

国立国会図書館全国の図書館

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

紙雑誌雑誌タイトル

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

国立国会図書館全国の図書館

情報処理学会研究報告

紙雑誌雑誌タイトル

情報処理学会[1985]-2009<Z14-1121>

国立国会図書館全国の図書館

検索結果は以上です。

RSS