タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

ocamlに関するkdmsnrのブックマーク (9)

  • https://cs3110.github.io/textbook/

    kdmsnr
    kdmsnr 2020/02/26
  • OCaml入門の手引 | POSTD

    OCamlを学ぶには、まず何から手を付けたらいいでしょうか? あなたなら何をしますか? 私はこれまで、恐らく10数回はOCamlを覚えようとしました。そして手を付けては諦め、また付けては諦めの繰り返しで、ついには数えるのをやめてしまったくらいです。 でも、今回は続いています。ひょっとすると、コミュニティそのものに何か根的な変化があったのかもしれません。 私にとって功を奏したのが実際は何だったのか、以下に考察してみたいと思います。 役に立つは? 『 Real World OCaml (以下、RWO)』がお勧めです。というよりも、 それ以外にお勧めはありません 。RWOは、私の生涯の中でも1、2を争うことができるくらいのコンピュータ言語解説書です。 ちなみに、その他にも解説書はありますが、大体が不正確な内容を含んでいるか、あるいはフランス語で書かれているかなので、 読まない 方がいいでしょ

    OCaml入門の手引 | POSTD
    kdmsnr
    kdmsnr 2015/09/08
  • OCamlチュートリアル – OCaml

    You can explore the OCaml documentation, Platform Tools, guides, exercises, and books to enhance your knowledge.

    OCamlチュートリアル – OCaml
    kdmsnr
    kdmsnr 2015/07/12
  • OCamlの簡単な手引き | POSTD

    記事では、 OCaml について簡単に説明します。ここでは、私が最も優れていると考えるOCamlの機能のみを取上げます。 記事では、機能を説明する上で使用例はあまり使わず、どちらかというと構文を使っていきます。すべての機能に関する詳細を知りたい方は、 『OCaml Document and User’s Manual』 、 『Real World Ocaml』 を読むことをお勧めします。 各機能の説明には、簡単な構文の説明、いくつかの例、そして参考文献のリンクが盛り込まれています。この記事自体は、OCamlの機能を少し味わってみたい方、または特定の機能をもう少し学びたいという方の参考になるでしょう。 ご意見などありましたら、 mads379@gmail.com までご連絡いただくか、 @mads_hartmann のTwitterアカウントにご投稿ください。 コードを試してみたい方は、

    OCamlの簡単な手引き | POSTD
    kdmsnr
    kdmsnr 2015/01/08
  • Beginner's guide to OCaml beginner's guides.

    Computer "scientist" Alex Clemmer is a computer programmer. Other programmers love Alex, excitedly describing him as "employed here" and "the boss's son". Alex is also a Hacker School alum. Surely they do not at all regret admitting him! personal site @hausdorff_space github.com/hausdorff RSS feed [Translation available in Japanese] So you want to learn OCaml. Where do you start? What do you do? I

    Beginner's guide to OCaml beginner's guides.
    kdmsnr
    kdmsnr 2014/07/12
    “Read Real World OCaml (colloquially: RWO), and accept no substitutes. ”
  • 「プログラミングの基礎」を使った授業紹介

    「プログラミングの基礎」を使った授業紹介 浅井 健一 このページでは、お茶の水女子大学、理学部、情報科学科の2年生を 対象とした授業「関数型言語」のビデオほかを公開しています。 この授業は反転授業 (flipped class) を行っており、 受講生は授業前に以下の予習を求められます。 毎回の授業用に用意されたビデオを見て、 予習クイズに答えること。 教科書の該当部分を読んで、 教科書問題に答えること。 授業時間中は特に内容の説明はせず、 受講生は別途、示される練習問題とレポート問題を各自、解きます。 その際に生じた疑問点等について授業で個別に対応しています。

    kdmsnr
    kdmsnr 2014/07/04
  • 2011年度後期・数理解析・計算機数学 III

    [ ホーム | 講義 ] 2011年度後期・数理解析・計算機数学 III (同 概論III) レポート課題 プログラミング課題 提出期限 2012年1月 11日(水) レポート課題 提出期限 2012年2月7日(火) (M2は1月27日(金)) 講義予定 シラバス 第1回 10月12日 Objective Camlプログラミングの基礎: 定義と型 講義メモ 資料 EmacsでOCamlを使う (修正版) 第2回 10月19日 多相型と汎関数 第3回 10月26日 関数の証明と再帰関数 関数グラフの描画 関数描画ライブラリー plot.ml plot.mli 第4回 11月2日 リストと構造的帰納法 再帰的データ構造 講義メモ 第5回 11月9日 再帰的アルゴリズム:リストと木構造 講義メモ 第6回 11月16日 再帰的アルゴリズム2:木構造と数式処理 第7回 11月30日 GUIとグラフィ

  • index - Haxe

    Haxe 4 is here! Haxe is an open source high-level strictly-typed programming language with a fast optimizing cross-compiler. Download 4.3.4 Released: 2024-03-04 Haxe can build cross-platform applications targeting JavaScript, C++, C#, Java, JVM, Python, Lua, PHP, Flash, and allows access to each platform's native capabilities. Haxe has its own VMs (HashLink and NekoVM) but can also run in interpre

    index - Haxe
    kdmsnr
    kdmsnr 2011/10/06
  • 1