Jump to main content

yr 〜
yr

Search results 20

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

論理体系の意味論と文法的性質の関係
Paper図書
桜井, 貴文, 千葉大学2000-2001<Y151-H12680329>
National Diet Library
  • Author Heading桜井, 貴文

Typed λ-calculi and their extensions

Typed λ-calculi and their extensions
Paper博士論文
Takafumi Sakurai [著][Takafumi Sakurai][2002]<UT51-2002-G536>
National Diet Library
  • Author Heading櫻井, 貴文

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

型理論の意味論と文法的性質の関係
Paper図書
桜井, 貴文, 千葉大学1998-1999<Y151-H10680334>
National Diet Library
  • Author Heading桜井, 貴文

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

千葉大学校友会SNS「Curio」の現状と今後の計画 (入力インタフェース,SNS,ライフログ活用技術,オフィスインフォメーションシステム,ライフインテリジェンス,一般)
Digital文書・図像類
檜垣, 泰彦, 桜井, 貴文, 虎岩, 雅明, 進藤, 啓介, 大塚, 成男電子情報通信学会2012-03電子情報通信学会技術研究報告. LOIS, ライフインテリジェンスとオフィス情報システム111 470p.135-140
Other Libraries in Japan
  • Author Heading檜垣, 泰彦 桜井, 貴文 虎岩, 雅明 進藤, 啓介 大塚, 成男

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

論理体系の意味論と文法的性質の関係
Paper図書
研究代表者 桜井貴文[千葉大学]2002.4
Other Libraries in Japan
  • Author Heading桜井, 貴文

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

型理論の意味論と文法的性質の関係
Paper図書
研究代表者 桜井貴文[千葉大学]2000.4
Other Libraries in Japan
  • Author Heading桜井, 貴文

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

岩波講座ソフトウェア科学 13
PaperDigital図書
長尾真 [ほか]編岩波書店1991.9<M159-E227>
National Diet LibraryOther Libraries in Japan
  • Author Heading佐藤, 雅彦, 1947- 桜井, 貴文, 1959-

プログラムの基礎理論

プログラムの基礎理論
Paper図書
佐藤雅彦, 桜井貴文 [共著]岩波書店1991.9
Other Libraries in Japan
  • Author Heading佐藤, 雅彦 桜井, 貴文

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

Abrasive technology : 砥粒加工学会誌 : journal of the Japan Society for Abrasive Technology
PaperDigital雑誌雑誌タイトル
砥粒加工学会1987-<Z16-1147>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

型付λ計算とその拡張

型付λ計算とその拡張
Digital博士論文
Sakurai, Takafumi京都大学 (Kyoto University)2002-03-25
Available onlineOther Libraries in Japan
  • Author Alias櫻井, 貴文 サクライ, タカフミ

数学セミナー

数学セミナー
PaperDigital雑誌雑誌タイトル
日本評論社1991-<Z15-27>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

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

情報処理 : 情報処理学会誌 : IPSJ magazine
Paper雑誌雑誌タイトル
情報処理学会1960-<Z14-352>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

Bit : コンピュータサイエンス誌
PaperDigital雑誌雑誌タイトル
共立出版1969-2001<Z14-405>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌雑誌タイトル
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

日本ソフトウェア科学会大会論文集
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会研究報告

情報処理学会研究報告
Paper雑誌雑誌タイトル
情報処理学会[1985]-2009<Z14-1121>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS