Nintendo Switch向けアクションRPG『ドラゴンマークトフォーデス』は海外向けに今冬発売へ。久々となるトレイラーも公開 - AUTOMATON
インティ・クリエイツは本日7月6日、『Dragon Marked For Death（ドラゴンマークトフォーデス）』の最新トレイラーを公開し、今冬の発売を予定していることを発表した。『ドラゴンマークトフォーデス』は、昨年8月にマーベラスより発表されたNintendo Switch向けアクションRPG。『牧場物語』『ルーンファクトリー』シリーズのプロデューサーを努めてきたはしもとよしふみ氏（HAKAMA）と、『ロックマンゼロ』シリーズや『蒼き雷霆ガンヴォルト』シリーズなど手がけた、2Dアクションゲームの制作に定評のあるインティ・クリエイツがタッグを組む完全新作だ。 『ドラゴンマークトフォーデス』は横スクロール型のアクションRPG。プレイヤーは、呪われし龍血の一族の一員として、特別な能力を使い敵と戦う。プリンセスやウォーリアー、シノビやウィッチといったキャラクターが用意されている。プリンセスは
F*(F Star)の複雑な型システムの何が嬉しいのか？ - Amosapientiam
マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。 この言語には強力で複雑な型システムが組み込まれています。 現状、依存型言語は世間にはあまり広まっていませんので F*とは？ 複雑な型ってなんだろう？ 複雑な型システムを組み込んで何が嬉しいんだろう？ 何が嬉しくないんだろう？ と疑問をお持ちになる方も多いだろうと思います。 この記事ではF*で使われている複雑な型の一部と、複雑な型を持つことの利点・欠点の一部を述べ、それを簡単なコード例を通じて体感してみます。 疑問に対する答え F*とは？ マイクロソフトと Inria が開発中のプログラミング言語です。 依存型や monadic effect などが組み込まれており、複雑な仕様が型で表現できます。構文は OCaml や F#などのML系関数型言語に似ています。 詳しくは下記のリンクたちを参照。 F* (プログ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【全巻無料】ジャンパイア - 井上元伸 | 男性向け漫画が読み放題 - マンガ図書館Z
