本文に飛ぶ
国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
WebNDLA用(件名検索)
項目を閉じる
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(1)
1990年代
(7)
2000年代
(10)
2010年代
(37)
2020年代
(9)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(64)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(16)
紙
(64)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 64 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Haskellでの型レベルプログラミング
Haskellでの型レベルプログラミング
紙
図書
荒田実樹
だめぽラボ
2024.5
<M159-R272>
国立国会図書館
件名(識別子)
01178725
関数型デザイン : 原則、パターン、実践
関数型デザイン : 原則、パターン、実践
紙
デジタル
図書
Robert C.Martin 著, 角征典 訳
ドワンゴ
2024.5
<M159-R136>
国立国会図書館
全国の図書館
件名(識別子)
01178725
なっとく!関数型プログラミング : 関数型プログラミングの基本概念の全容を把握し活用したい開発者に
なっとく!関数型プログラミング : 関数型プログラミングの基本概念の全容を把握し活用したい開発者に
紙
図書
Michał Płachta 著, クイープ 監訳
翔泳社
2023.8
<M159-M1182>
国立国会図書館
全国の図書館
件名(識別子)
01178725
関数型ドメインモデリング : ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう
関数型ドメインモデリング : ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう
紙
デジタル
図書
Scott Wlaschin 著, 猪股健太郎 訳
ドワンゴ
2024.6
<M154-R85>
国立国会図書館
全国の図書館
件名(識別子)
00571264
01178725
プログラミング言語Standard ML入門 改訂版
プログラミング言語Standard ML入門 改訂版
紙
図書
大堀淳 著
共立出版
2021.11
<M159-M732>
国立国会図書館
全国の図書館
件名(識別子)
01178725
JavaScript徹底攻略関数 : 基礎と関数型プログラミング
JavaScript徹底攻略関数 : 基礎と関数型プログラミング
紙
図書
イモに聞け
2023.5 (第3刷)
<M159-R253>
国立国会図書館
件名(識別子)
01178725
JavaScript徹底攻略 関数〈編〉 (Next Publishing. 技術の泉SERIES)
JavaScript徹底攻略 関数〈編〉 (Next Publishing. 技術の泉SERIES)
紙
デジタル
図書
澁谷真帆 著
インプレスR&D
2022.7
<M159-M1012>
国立国会図書館
全国の図書館
件名(識別子)
01178725
Haskellで戦う競技プログラミング
Haskellで戦う競技プログラミング
紙
図書
荒田実樹, 佐藤玄基
だめぽラボ
2019.9
<M159-R285>
国立国会図書館
件名(識別子)
01178725
SML#で始める実践MLプログラミング
SML#で始める実践MLプログラミング
紙
図書
大堀淳, 上野雄大 著
共立出版
2021.4
<M159-M586>
国立国会図書館
全国の図書館
件名(識別子)
01178725
簡約: λカ娘 12
簡約: λカ娘 12
紙
図書
参照透明な海を守る会
2020.9
<M159-M832>
国立国会図書館
件名(識別子)
01178725
入門Haskellプログラミング : 関数型プログラミングの理解とHaskell実活用読本 : 関数型プログラミングを正しく理解し、Haskellで思う存分遊べるようになる本
入門Haskellプログラミング : 関数型プログラミングの理解とHaskell実活用読本 : 関数型プログラミングを正しく理解し、Haskellで思う存分遊べるようになる本
紙
図書
Will Kurt 著, クイープ 監訳
翔泳社
2019.7
<M159-M166>
国立国会図書館
全国の図書館
件名(識別子)
01178725
Haskellによる関数プログラミングの思考法
Haskellによる関数プログラミングの思考法
紙
デジタル
図書
Richard Bird 著, 山下伸夫 訳
ドワンゴ
2017.2
<M159-L1127>
国立国会図書館
全国の図書館
件名(識別子)
01178725
Haskellで作るWebアプリケーション : 遠回りして学ぶYesod入門 : 強力な型システムを持つHaskellのWebアプリケーションフレームワークYesodを使いこなす! (Next Publishing. 技術書典SERIES)
Haskellで作るWebアプリケーション : 遠回りして学ぶYesod入門 : 強力な型システムを持つHaskellのWebアプリケーションフレームワークYesodを使いこなす! (Next Publishing. 技術書典SERIES)
紙
デジタル
図書
岡本和樹, 小山内一由 著
インプレスR&D
2018.8
<M159-L1590>
国立国会図書館
全国の図書館
件名(識別子)
01178725
簡約!?λカ娘 10
簡約!?λカ娘 10
紙
図書
参照透明な海を守る会
2017.8
<M159-M830>
国立国会図書館
件名(識別子)
01178725
Javaではじめる「ラムダ式」 : 冗長なプログラムの実装が簡潔に! (I/O BOOKS)
Javaではじめる「ラムダ式」 : 冗長なプログラムの実装が簡潔に! (I/O BOOKS)
紙
図書
清水美樹 著
工学社
2017.11
<M159-L1343>
国立国会図書館
全国の図書館
件名(識別子)
01178725
簡約!?λカ娘 11
簡約!?λカ娘 11
紙
図書
参照透明な海を守る会
2018.8
<M159-M831>
国立国会図書館
件名(識別子)
01178725
はじめてのLisp関数型プログラミング : ラムダ計算からリファクタリングまで一気にわかる (Software Design plusシリーズ)
はじめてのLisp関数型プログラミング : ラムダ計算からリファクタリングまで一気にわかる (Software Design plusシリーズ)
紙
図書
五味弘 著
技術評論社
2016.4
<M159-L887>
国立国会図書館
全国の図書館
件名(識別子)
01178725
Haskell : 教養としての関数型プログラミング
Haskell : 教養としての関数型プログラミング
紙
図書
重城良国 著
秀和システム
2017.4
<M159-L1196>
国立国会図書館
全国の図書館
件名(識別子)
01178725
関数型プログラミングの基礎 : JavaScriptを使って学ぶ
関数型プログラミングの基礎 : JavaScriptを使って学ぶ
紙
デジタル
図書
立川察理 著, 長瀬嘉秀 監修
リックテレコム
2016.11
<M159-L1035>
国立国会図書館
全国の図書館
件名(識別子)
01178725
JavaScript関数型プログラミング : 複雑性を抑える発想と実践法を学ぶ (impress top gear)
JavaScript関数型プログラミング : 複雑性を抑える発想と実践法を学ぶ (impress top gear)
紙
デジタル
図書
Luis Atencio 著, 加藤大雄 訳
インプレス
2017.6
<M159-L1231>
国立国会図書館
全国の図書館
件名(識別子)
01178725
もっと見る(21件目~)
書誌情報を一括出力
RSS
RSS