Jump to main content

yr 〜
yr

Search results 25

Haskellによる関数プログラミングの思考法

Haskellによる関数プログラミングの思考法
PaperDigital図書
Richard Bird 著, 山下伸夫 訳ドワンゴ2017.2<M159-L1127>
National Diet LibraryOther Libraries in Japan
  • Toc / Article第1章　関数プログラミングとは何か 第2章　式，型，値 ......　無限リスト 第10章　命令的関数プログラミング 第11章　構文解析 第12章　単純等式運算器
  • Summary, etc.関数プログラミングの考え方・思考法を学ぶ！
  • Author introduction...、仕様からのアルゴリズム運算、関数プログラミング、アルゴリズムデザイン。 聖徳......ディア顧問。<BR>関心分野：関数プログラミング言語設計、Haskellによる関数プログラミング、Haskellを通じてプログラミングの楽しさをどう伝えるか...

関数プログラミング実践入門 : 簡潔で、正しいコードを書くために 増補改訂 (WEB+DB PRESS plusシリーズ)

関数プログラミング実践入門 : 簡潔で、正しいコードを書くために 増補改訂 (WEB+DB PRESS plusシリーズ)
Paper図書
大川徳之 著技術評論社2016.10<M159-L987>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Compu...

関数プログラミング実践入門 : 簡潔で、正しいコードを書くために (WEB+DB PRESS plusシリーズ)

関数プログラミング実践入門 : 簡潔で、正しいコードを書くために (WEB+DB PRESS plusシリーズ)
Paper図書
大川徳之 著技術評論社2014.12<M159-L547>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Compu...

関数プログラミング珠玉のアルゴリズムデザイン

関数プログラミング珠玉のアルゴリズムデザイン
Paper図書
Richard Bird 著, 山下伸夫 訳, オーム社開発局 企画編集オーム社2014.11<M159-L537>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Compu...

関数プログラミング入門 : Haskellで学ぶ原理と技法

関数プログラミング入門 : Haskellで学ぶ原理と技法
PaperDigital図書
Bird,Richard 著, 山下伸夫 訳, オーム社開発局 企画編集オーム社2012.10<M159-J1733>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Compu...

関数プログラミングの楽しみ

関数プログラミングの楽しみ
Paper図書
Jeremy Gibbons, Oege de Moor 編, 山下伸夫 訳オーム社2010.6<M159-J1006>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.関数プログラミングを楽しむために
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Compu...

関数プログラミング言語「F#」 : 次世代言語の導入から文法プログラミングまで (I/O books)

関数プログラミング言語「F#」 : 次世代言語の導入から文法プログラミングまで (I/O books)
Paper図書
赤間世紀 著工学社2010.2<YU7-J1861>
National Diet LibraryOther Libraries in Japan

関数プログラミング (情報数学セミナー)

関数プログラミング (情報数学セミナー)
Paper図書
萩谷昌己 著日本評論社1998.3<M159-G1891>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Compu...

関数プログラミング教科書 : プログラマー必修のパラダイム:基礎からLISPによる解説まで (I/O books)

関数プログラミング教科書 : プログラマー必修のパラダイム:基礎からLISPによる解説まで (I/O books)
Paper図書
赤間世紀 著工学社2009.10<YU7-J1695>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Compu...

細粒度な要求駆動計算機構に基づく関数プログラミング

細粒度な要求駆動計算機構に基づく関数プログラミング
Paper博士論文
森本武資 [著][森本武資][2007]<UT51-2007-J267>
National Diet Library

関数プログラミング

関数プログラミング
PaperDigital図書
R.バード, P.ワドラー 共著, 武市正人 訳近代科学社1991.4<M159-E1617>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Compu...

擬データを用いた対話的関数プログラミングに関する研究

擬データを用いた対話的関数プログラミングに関する研究
PaperDigital博士論文障害者向け資料あり
石井裕一郎 [著]<UT51-99-U201>
Available onlineNational Diet Library
  • Toc / Article目次 第1章 はじめに 第2章 関数プログラミング 2.1 概要 2.2 副作用......現と翻訳手法 9.5 擬データ関数プログラミング処理系 9.6 JAVAの手続き関数との対応 9.7 評価 ...

関数プログラミング : JSSST'94 2 (レクチャーノート/ソフトウェア学 ; 10)

関数プログラミング : JSSST'94 2 (レクチャーノート/ソフトウェア学 ; 10)
PaperDigital図書
武市正人 編近代科学社1994.12<M159-E2463>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング--会議録

関数プログラミング : JSSST'91 (レクチャーノート/ソフトウェア学 ; 3)

関数プログラミング : JSSST'91 (レクチャーノート/ソフトウェア学 ; 3)
PaperDigital図書
日本ソフトウェア科学会関数プログラミング研究会 編著近代科学社1992.12<M159-E2463>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）関数プログラミング Functional programming (Compu...

並列計算機上の関数プログラミングシステムの構築に関する研究

並列計算機上の関数プログラミングシステムの構築に関する研究
Paper図書
武市, 正人, 東京大学1994-1996<Y151-H06558039>
National Diet Library
  • Subject Heading関数プログラミング 並列化機構 並列プログラミング

特集詳解Jenkins ; 関数プログラミング ; Hadoop ; Facebook

特集詳解Jenkins ; 関数プログラミング ; Hadoop ; Facebook
Paper図書
技術評論社2012.3
Other Libraries in Japan
  • Alternative Title特集詳解Jenkins, 関数プログラミング, Hadoop, Facebook 詳解Jenkins ; 関数プログラミング ; Hadoop ; Facebook : 特集
  • Alternative Title特集詳解Jenkins, 関数プログラミング, Hadoop, Facebook 詳解Jenkins ; 関数プログラミング ; Hadoop ; Facebook : 特集

関数プログラミング教科書

関数プログラミング教科書
Paper図書
赤間世紀著工学社2009.10
Other Libraries in Japan

関数プログラミング : JSSST [1]:'91 2:'94

関数プログラミング : JSSST [1]:'91 2:'94
Paper図書
日本ソフトウェア科学会関数プログラミング研究会編近代科学社1992-1994
Other Libraries in Japan
  • Author Heading日本ソフトウェア科学会関数プログラミング研究会 武市, 正人

並列計算機上の関数プログラミングシステムの構築に関する研究

並列計算機上の関数プログラミングシステムの構築に関する研究
Paper図書
研究代表者武市正人武市正人1997.3
Other Libraries in Japan

情報数学セミナー

情報数学セミナー
Paper図書
日本評論社1994-
Other Libraries in Japan
  • Related Material情報科学における論理 ネットワークアルゴリズムとデータ構造 関数プログラミング グラフィックス 自然言語 データ構造とグラフアルゴリズム
RSS