関数型ガール - Software Foundations 日本語版Wiki

Software Foundations 日本語版Wiki内検索 / 「関数型ガール」で検索した結果

関数型ガール
関数型ガール　え～、あれをナニしたりしたものです。もとネタわからない人はこちらへ。謝辞　まず最初に、Pierce先生、結城先生ごめんなさい。出来心で書いてしまいました。シャレだと思ってご勘弁ください。目的　最初にSoftwareFoundationに触れた時感じた驚きは、「これは何だか教材として新しい！」というものでした。　実際にSoftwareFouncationの.vファイルを開いて読み進めてもらうと分かると思いますが、この教材は完全にプログラムのソースファイルと読み物が一体化していて、コメントを読みながら１行ずつ実行し、その結果を目で確認しながら学習を進められます。　まるでCoq自体がチュートリアルシステムを成しているかのような動きをするのです。　そして、自分自身でそのソースファイルを編集しながら実行を続けられ、エラーがあれば少し前まで戻って修正...
メニュー
...読（服毒？）教材関数型ガールこどものこっく全体的な話題単語帳お勧めの本有用と思われるリンク雑談ツッコミなど進捗状況自己紹介など姉妹サイト F#マスターへの道教えて！アロイ人！リンク @wiki @wikiご利用ガイド更新履歴取得中です。ここを編集
有用と思われるリンク
Coq本家サイトプログラミング Coq Coq Wiki ネタ記録庫/Coq Coq クィックリファレンス Coq Tips （内容が古いそうなので参考程度に） Coqで独習するならどのページがいい？と聞かれたときのメモ 2009年度後期・数理解析・計算機数学 III 2010年度後期・数理解析・計算機数学 III お茶の水女子大学理学部情報科学科浅井研究室のホームページ数理科学的バグ撲滅方法論のすすめにわとり小屋でのプログラミング日記ホワット・ア・ワンダフル・ワールド Coqで学ぶ定理証明入門 PLANET EZO Coqの入門記事を書く会 Functional Programming Memo Coq in a Hurry 定理証明器デモ 2ch Coqスレ Coq証明問題投稿サ...
作成中の日本語版へのリンク
TOP 目次 Preface：まえがき Basics：基本 Lists：リスト Poly：多相性と高階関数 Gen 帰納法の仮定の一般化 Rel 性質と関係
お勧めの本
プログラミング言語の基礎概念五十嵐淳　サイエンス社　　ISBN-13 978-4781912851　　　1850円+税プログラミング言語OCamlを使用し、プログラムの操作的意味論、型システムの理解を図る。内容的には一部「Software Foundations」と重なっているところもあり、日本語で書き下されている文書としては非常に貴重。オンラインで演習問題に取り組むシステムが提供されており、これが非常に出来がいい。ランキングなども表示され、自分がどのあたりにいるかわかる。演習問題のうちの何割かは「修行」とも「イジメ」とも思えるほどのもので、何度も泣きそうになりながら取り組んでいるが、このランキングがなければとっくに投げ出していたかも。 ⇒ 2011年9月20日、なんとか演習問題150問をコンプリートしました！！43日かかりました。翻訳ほっぽらかしてやってしまい...
進捗状況
2011年10月から、有志によってGithub上で翻訳作業を継続してもらえることになりました。感謝！詳細はトップページに。 (2011/09/21)10月からまとまった仕事が始まってしまうので、これまでのようなペースで翻訳するのは難しくなってしまいます。どなたかに引き継いでいただけるといいのですが・・・・ (2011/09/11) Listまでを見直しました。HTML化の際に消えてしまっていたコメントを表示するようにしました。 (2011/09/06) List～Polyまでを暫定公開開始です。 (2011/09/02) Polyの翻訳が一応最後まで終わりました。まだ入力していませんが。 (2011/08/29) Polyの、Polimorphismの翻訳が終わりました。いよいよ高階関数に入っていきます。 (2011/08/25) List全体の翻訳がやっと完了しました。見直し前ですが。 ...
まとめサイト作成支援ツール
まとめサイト作成支援ツールについて @wikiにはまとめサイト作成を支援するツールがあります。また、 #matome_list と入力することで、注目の掲示板が一覧表示されます。利用例）#matome_listと入力すると下記のように表示されます #matome_list
プラグイン/ニュース
ニュース @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...
学習の進め方
下準備 Coq IDEをインストールする。英語版のサイトから[sf.tar.gz」をダウンロードし解凍する。英語版サイトのトップページにDownloadボタンがあります。解凍先のディレクトリパスが全角文字を含んでいると、Coqはファイルの読み込みに失敗します。半角文字だけのディレクトリに解凍するようにしてください。学習まずCoq IDEにBasics.vを読み込む。日本語の解説を読みながら、Coq IDEでCtrl+Alt+↓を押し、1行1行実行してコンテキストの動きを観察する。 Pierce先生も文中で何度も書いていますが、大切なことほど、文を読んだだけでは理解できません。必ずCoq IDEで例題を実際に実行し、コンテキストの変化を観察してください。Coq IDEではCtrl+Alt+↑とすることで、実行済みの行を1行戻すことができます。Ctrl+Alt+カーソル上下を何...
@wiki全体から「関数型ガール」で調べる