お勧めの本 - Software Foundations 日本語版Wiki

Software Foundations 日本語版Wiki内検索 / 「お勧めの本」で検索した結果

お勧めの本
プログラミング言語の基礎概念五十嵐淳　サイエンス社　　ISBN-13 978-4781912851　　　1850円+税プログラミング言語OCamlを使用し、プログラムの操作的意味論、型システムの理解を図る。内容的には一部「Software Foundations」と重なっているところもあり、日本語で書き下されている文書としては非常に貴重。オンラインで演習問題に取り組むシステムが提供されており、これが非常に出来がいい。ランキングなども表示され、自分がどのあたりにいるかわかる。演習問題のうちの何割かは「修行」とも「イジメ」とも思えるほどのもので、何度も泣きそうになりながら取り組んでいるが、このランキングがなければとっくに投げ出していたかも。 ⇒ 2011年9月20日、なんとか演習問題150問をコンプリートしました！！43日かかりました。翻訳ほっぽらかしてやってしまい...
メニュー
...な話題単語帳お勧めの本有用と思われるリンク雑談ツッコミなど進捗状況自己紹介など姉妹サイト F#マスターへの道教えて！アロイ人！リンク @wiki @wikiご利用ガイド更新履歴取得中です。ここを編集
雑談
...言語の基礎概念」は、お勧めの本でも取り上げている、MLのセマンティクスを扱った教科書です。オンライントレーニングがよくできていて、気がつくと数時間没頭していたりします。管理人(2011/08/09）今日はリンクを集めてみました。Web上での情報を見てみると、「ちょっとはまったけど、今は更新止まってる」っていうところが多いようですね。僕も割と興味が横滑りしがちな人間なので、せめて切りのいいところまではがんばっていきたいところです。管理人(2011/08/02）ところで、Coqを皆さんどう発音してますか？僕はなんとなく、最初に読んだときの直感で「コキュー」とどうしても頭の中で読んでしまうのですが、ほんとはたぶん「コク」「コック」あたりでしょうか。「Coq庵」っていうのがあるぐらいなんで、「コキュー」って読んでる人も結構いるのではないかと思うのですが、どんなも...
関数型ガール
関数型ガール　え～、あれをナニしたりしたものです。もとネタわからない人はこちらへ。謝辞　まず最初に、Pierce先生、結城先生ごめんなさい。出来心で書いてしまいました。シャレだと思ってご勘弁ください。目的　最初にSoftwareFoundationに触れた時感じた驚きは、「これは何だか教材として新しい！」というものでした。　実際にSoftwareFouncationの.vファイルを開いて読み進めてもらうと分かると思いますが、この教材は完全にプログラムのソースファイルと読み物が一体化していて、コメントを読みながら１行ずつ実行し、その結果を目で確認しながら学習を進められます。　まるでCoq自体がチュートリアルシステムを成しているかのような動きをするのです。　そして、自分自身でそのソースファイルを編集しながら実行を続けられ、エラーがあれば少し前まで戻って修正...
自己紹介など
管理人　43歳。子供四人。今日（開設日）人間ドックでメタボの指摘を受けました。　普通のJavaとかで口に糊するプログラマです。ちょっと仕事の手があいたので、最近の技術動向など調べているうちにこんなところに足を突っ込んでしまいました。　論理学などズブの素人で、どれぐらい素人かというと、今回の勉強で初めて「論理学」の本が本屋で「哲学書」の棚に並んでいるのを知ったぐらい。さらには「ソフィーの世界」という本が哲学書の棚にあるのをみてびっくりした（富士見ロマン文庫だと思っていた）ぐらいの素人です。管理人のメインWebページはこちら ↓↓以下にどんどん追加していってください。
トップページ
Software Foundations日本語版Wikiへようこそ Software Foundationsは、米国ペンシルバニア大のBenjamin Pierce先生のグループによって作成・公開されている、プログラミング言語Coqに沿ったソフトウェア作成についてのドキュメントです。ここはその日本語版作成に集まった有志が情報を交換する場です。日本語版の公開にあたって、Pierce先生のご了解をいただいています。 Software Foundations 本家サイト著者Benjamin Pierce先生のサイト 2011年10月5日現在、SoftwareFoundationsの翻訳作業は、全面的にGithub上で行われています。目下僕を含め7名のメンバーでモリモリと翻訳が進んでいます（僕は少しお休み中ですが・・）。 Github上でのレポジトリ 2012年4月1...
プラグイン/ニュース
ニュース @wikiのwikiモードでは #news(興味のある単語) と入力することで、あるキーワードに関連するニュース一覧を表示することができます詳しくはこちらをご覧ください。＝＞http //atwiki.jp/guide/17_174_ja.html たとえば、#news(wiki)と入力すると以下のように表示されます。真女神転生5攻略Wiki｜メガテン5 - AppMedia(アップメディア) ドラゴンクエストけしケシ攻略Wiki - Gamerch(ゲーマチ) マニュアル作成に便利な「画像編集」機能を提供開始！ - ナレッジ共有・社内wikiツール「NotePM」（2021年12月6日）｜BIGLOBEニュース - BIGLOBEニュースマニュアル作成に便利な「画像編集」機能を提供開始！ - ナレッジ共有・社内wikiツール「N...
@wiki全体から「お勧めの本」で調べる