コロニーな生活｜毎日の移動がゲームになる！「位置ゲー」
コロニーに人が住むためには、食料、酸素、水分といった3つの「資源」が必要となります。できたばかりのコロニーには土地と空しかありません。まずは、それぞれの資源を生産する施設を建てて、3つの資源をそろえることから始まるのです。資源がそろうと、住居となるテントが自動的に建ち、あなたのコロニーに人が住みはじめます！ コロニーは、アイテムによってどんどん発展していきます。人口が増えれば増えるほどゲームを有利に進めることができます。また、コロニーの顔である「フィールドテーマ」は、なんと800種類以上！お気に入りのテーマを見つけよう！ コロニーな生活の世界では、ときどきコロニーに隕石が降ってきます。しかし、隕石は1km以上移動するかミサイルで撃ち落とすと避けることが可能です！まれに、アイテムがくっついた隕石が降ってきます。レアアイテムが降ってくるかも！？ 春夏秋冬、それぞれの時期の様々なイベントにあわせ
F* における検証されたプログラミング
(訳注: この日本語マニュアルは Verified programming in F* の翻訳です。 翻訳に参加するには 翻訳リポジトリ を参照してください。) 1. イントロダクション F* は検証指向のプログラミング言語で、Microsoft Research, MSR-Inria, Inria によって開発されています。 それは、型付で正格な関数型プログラミング言語である ML 族の言語の伝統を受け継いでいます。 けれども、その型システムは ML のそれよりも著しく豊かで、表明されて半自動的に検査される関数的な正確さの仕様を許します。 このチュートリアルは F* における検証されたプログラミングの最初の体験を提供します。 論文とテクニカルレポートを含む F* に関するより多くの情報が F* ウェブサイト で見つかります。 もし ML 族の関数型プログラミング言語 (例: OCaml,
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
松下IMPホール
映画もバリアフリー、音声で情景描写 第1弾は「ワンピース」 - 日本経済新聞
サービス終了のお知らせ
cafe saikai
