Prolog入門 Introduction to Prolog (in Japanese)
Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P
[O] これから15分でErlangを始めるための資料
Erlangをいうプログラミング言語を使って何かをすることが、 最近の流行みたいです。去年はHaskellが流行しましたね。 研究室内で僕を含めてErlangに興味津々という人が、 何人かいたので、今やろう！すぐやろう！と始めてみました。 以下はDebian Etch LinuxでErlangを使ったHello Worldに たどり着くまでの方法と、自習用の資料へのリンクです。 15分でHello Worldを表示してみましょう。 # 僕は表示までに30分以上かかりましたが・・・。 ErlangでHello World Erlangの読み方 - アーラン - Erlangとは Erlangをインストール Debian Etchではapt-getするだけです。時間は5分くらいかかります。 Windowsの人は、Erlang.orgでバイナリファイルを配布しているので、 それをインストールして
COSAK
初めての方は、仕様やサンプルソースをお読みください。 更新履歴 [2007/04/14] 完成 [2007/07/13] 公開 [2011/06/19] Iコンビネータおよび、Iコンビネータを生成する^^を追加 概要 COSAK(Constructed from Only S And K)はその名の通り、"S"と"K"だけから構成される関数型(?)言語です。 構文として、sとkと、それらを使った関数適用しか用意していません。関数抽象なんてどうでもいいです。 もちろん変数なんてありません。これで変数のスコープがどうとかいうことで悩む必要はなくなりましたね。 こう書くと、何も出来なさそうですが、実は、高階関数(のようなもの)を使えるなど、その表現力は意外と高いです。 実用的かどうかは、サンプルソースを見て実際に試してみて考えてください。すぐに分かります(笑) 入力: 出力: 仕様 構文： fo
ちょっと草植えときますね型言語 Grass
_, ._ （ ・ω・） んも〜 ○=｛=｝〇, |:::::::::＼, ', ´ ､､､､し ､､､((（.＠）ｗｖｗｗＷＷｗｖｗｗＷｗｗｖｗｗｗｗＷＷＷｗｗＷｗ ｗＷＷＷＷＷＷｗｗｗｗＷｗｗｖｗＷＷｗＷｗｗｖｗＷＷＷ 作ってみたｗｗｗｗｗ とりあえず公開ｗｗｗｗｗｗｗっうぇ 日本語版はてきとーです．きっと英語版のほうが詳しいです． 実装 インタプリタ Interpreter written in Standard ML (accept US-ASCII only) by UENO Katsuhiro Interpreter written in Ruby by UENO Katsuhiro Interpreter written in ニコスクリプト Interpreter written in Prolog by zick Interpreter written in Java b
Joke language list - Esolang
This is a list of languages that are not of any interest except for potential humor value. General languages: ### Babbage is a language almost entirely unlike Ada. Bitxtreme can only address two bits of memory. CPL allows nearly all types of comment syntaxes, but nothing else. CRalphabet takes varying numbers of '\n' as commands. Deadfish is a very odd language, that has an output stream but not
Esoteric programming language - Wikipedia
An esoteric programming language (sometimes shortened to esolang) is a programming language designed to test the boundaries of computer programming language design, as a proof of concept, as software art, as a hacking interface to another language (particularly functional programming or procedural programming languages), or as a joke. The use of the word esoteric distinguishes them from languages
プログラミング言語を作る
このページの目的は、「独自のプログラミング言語を作る」ことです。 「プログラミング言語を作る」というのは、 やったことのない方からすれば、ずいぶん無謀な目標に見えるのかもしれません。 でも、いくつかの基礎知識さえ修得すれば、技術的には、 実はそんなに難しいものでもありません。 だったら、ひとつぐらい作ってみたいと思いませんか? なにしろプログラミング言語を作るなんて、 いかにもかっこ良さげじゃないですか。 私は作ってみたいと思いました。だから作ります。 プログラミング言語なんてもう山ほどあるのに、 今さら新しい言語なんて付け足して何をしたいんだよ! などというツッコミは入れてはいけません。 「なぜプログラミング言語なんか作るんですか?」 と聞かれたら、その答は そこにyaccがあるからだ。 で充分だろうと私は思います(yaccが何かは後述します)。 というわけで―― ただ私なんぞが新言語を
Life with Cygwin
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
Brainf*ck
アラン・チューリングという計算機科学者の考えた、 「チューリング・マシン」という仮想の計算機があります。 これは [０を書く]、[１を書く]、[右に進む]、[左に進む] と言った 非常に簡単な命令のみを実行できる想像上の計算機ですが、 我々の使っているパソコンでできるような計算は全て、 チューリングマシン用のプログラムとして書ける、ということが知られています。 …という前置きを付けてなんだか重々しい言語に見えてきたところで(^^;、 たぶんご存じの方も多いと思われる、わずか８文字の組み合わせで ありとあらゆるプログラムを表現する Brainfuck を弄ってみるとしましょう。 * Hello, World 導入 サンプル：表示１ サンプル：表示２ サンプル：echo * サンプル：足し算 サンプル：掛け算 C++によるインタプリタ実装 * サンプル：条件分岐１ サンプル：条件分岐２ まとめ
オブジェクト指向スクリプト言語 Ruby
Rubyとは... オープンソースの動的なプログラミング言語で、 シンプルさと高い生産性を備えています。 エレガントな文法を持ち、自然に読み書きができます。 ダウンロード または もっと読む... CVE-2025-43857: net-imap gem のDoS脆弱性 net-imap gem に DoS の脆弱性が発見されました。この脆弱性は CVE-2025-43857 として登録されています。net-imap gem のアップグレードを推奨します。 もっと読む... Posted by nevans on 28 Apr 2025 Ruby 3.5.0 preview1 リリース Ruby 3.5.0-preview1 が公開されました。Ruby 3.5では、Unicodeバージョンの15.1.0へのアップデートなど様々な改善が行われています。 もっと読む... Posted by
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The FALSE Programming Language — Wouter van Oortmerssen
The 99 Programming Language