タグ

devとmathに関するharukasanのブックマーク (2)

  • lucille development blog » Blog Archive » Playing with Pure

    http://pure-lang.sourceforge.net/ コンパイルが通ったのでちょっと遊んでみました. Pure 言語とはなんぞや Pure とは、和○○○○主演のドラマで,,, と 信頼関係のコントのネタに出てきそうですが、 そうではなくて、 項書換え(term rewriting)ベースの関数型言語です。 Pure 言語の開発者は、同じような特徴の言語として、 Q 言語をすでに開発していますが、 Pure 言語はそれの後継を目論んでいるようです. Pure 言語が Q 言語と異なるところは、 先進的な言語的特徴を取り入れているところと、 LLVM バックエンドの採用で高速に実行できるところです. (どんだけ高速に実行できるのかは不明) また LLVM バックエンドを採用していることで、 C 言語との親和性も高いです. とりあえず使ってみる pure 言

  • ライフゲーム - Wikipedia

    この項目では、簡易的な生物のシミュレーションゲームについて説明しています。 ゲーム上での残り機体数などの表示については「ライフ (コンピュータゲーム)」をご覧ください。 ライブ中継のカジノゲームについては「ライブゲーム」をご覧ください。 ボードゲームについては「人生ゲーム」をご覧ください。 この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。(2018年8月) ペンタデカスロンと呼ばれる循環パターン(振動子)のひとつ(GIFアニメ) ライフゲーム (Conway's Game of Life[1]) は1970年にイギリスの数学者ジョン・ホートン・コンウェイ (John Horton Conway) が考案した数理モデルである。単純なルールから複雑な結果が生成され

  • 1