Javaによるゲーム解説
・・・ 只今作成中です。 ８章一部修正(2004.05.20) ・・・ Javaの開発環境はSunのサイトからダウンロードできます。 通常の開発に使うJ2SEはここですね。ドキュメントはここあたり。 ３Ｄについてはこちら、midiについてはこちらをご覧ください。 J2EEのサーブレットについてはこちらで多少解説しています。 リンクは大歓迎ですが、内容の無断転載はご遠慮ください。 目次 ０．環境設定、コンパイルの方法、HTMLの記述 ～はじめに～ １．画像表示アプレット ～基本構造～ ２．アニメーションアプレット ～メインループはここ～ ３．ゲームフレームワーク ～ユーザーの入力に対応する～ ４．オブジェクト指向概説 ～カプセル化と継承～ ５．たくさん同時に表示するには ～要素を管理する～ ６．グローバル変数が無い？ ～ワールドクラス作成～ ７．大規模化への布石 ～アプリケー
第14回 型＝命題，プログラム＝証明
MLの型と型推論 この連載でも何回か触れたが，MLやHaskellなど多くの静的型付き関数型言語には，「型推論」という機能がある。これは，プログラム中の変数や関数の型を省略しても，「もっとも一般的」な型を言語処理系が勝手に推論してくれる，という機能だ。 例えば，次のように，二つの引数xとyを受け取って，(x, y)という組を返す関数pairを定義してみよう。 > ocaml Objective Caml version 3.10.0 # let pair = fun x y -> (x, y) ;; val pair : 'a -> 'b -> 'a * 'b = <fun> # このように，pairは「何らかの型'aを持つ値と，何らかの型'bを持つ値を受け取り，'a型の値と'b型の値の組を返す」と推論される。一般に，t1 -> t2は，型t1の値を受け取って，型t2の値を返す関数の型であ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
賃貸オフィス、賃貸事務所を借りるなら。大阪梅田でレンタルオフィス
サービス終了のお知らせ