N-Prolog cubeライブラリの整備
「Prologで数学遊び」の執筆をしています。そのために2*2ルービックキューブを動かすライブラリを用意しました。 cubeライブラリ 計算実験をしてきたのですがそれらの述語を整理してライブラ...
1
0
Comment0
151 search resultsShowing 1~20 results
Stocked
You need to log-in
Prologで不完全性定理遊び
休日、ふっと以前チャイティン流のLispによる不完全性定理のコードをPrologでやり直したくなりました。喫茶店でモーニングを食べながらノートにコードを書き散らしました。 厳密な証明にはなってい...
1
0
Comment0
分散並列Prolog（３）
ツリー階層型ネットワーク 前回までの計算実験で、単純な分散並列でPrologが動作するようになりました。本格的に仕様固めに取り掛かりました。Prologが深さ優先探索であることから分散並列のネッ...
2
0
Comment0
Prologで強連結成分
年末プロジェクト 2025年の年末、私はかねてより懸案だったPrologによる強連結成分の問題に取り組みことにしました。この言葉を知ったのは1980年代の黒川利明先生の本「Prologのソフトウ...
1
0
Comment0
Prologでダイクストラ最短経路
N-Prologにグラフライブラリを用意しました。グラフデータ構造は計算機科学においておもしろい題材です。古くはケーニヒスベルクの橋の問題がありました。こういった問題を解くにはグラフが役に立ちま...
1
0
Comment0
Prologでトポロジカルソート
2026年、1月1日、私はグラフ理論の勉強をしています。12月31日に強連結成分のPrologコードを書きました。これにつづいてトポロジカルソートを考えることにしました。一応の結果を出せましたの...
1
0
Comment0
エルブランから Prolog へ ― 純粋な論理からコンピュータへ ―
最近、エルブランの業績をより深く理解するために、自分自身でスコーレム標準形（Skolem Normal Form）の実装をしてきました。 この過程を通じて、私の理解は大きく進みました。 その延長...
2
0
Comment0
Prologでスコーレム標準形 ― エルブラン理解への入口 ―
Prologでスコーレム標準形 ― エルブラン理解への入口 ― このところ エルブラン（Herbrand）の業績を理解することに夢中になっています。 その第一歩として、スコーレム標準形（Skol...
1
0
Comment0
Prologでも簡易グラフィクス
N-Prologにおいてもdev/fb0を応用した簡易グラフィクスを導入しました。 その昔の懐かしいPC-6001を思い出します。再帰図形でお楽しみください。 仕様 % Initialize g...
1
0
Comment0
TTYとLispで再帰図形
Easy-ISLispの簡易グラフィクスを改良しました。ttyモードでフォントが小さい問題は再設定で見やすくすることができました。懐かしいCカーブも表示されています。ご紹介します。 フォントサイ...
2
0
Comment0
R3RS-Scheme CPSによる継続
R6RS以降、仕様が巨大化、複雑化するSchemeに嫌気がさして、SchemeからISLispに移行して10年以上になります。この度、ISLispに関する書籍を執筆するにあたり、LISP1.5－...
1
0
Comment0
MACLISP互換実装 また寄り道してる
Lisp本を書くつもりがMACLISP互換処理系の作成にはまってしまいました。 古いWinstonのLISP本をパラパラとめくっているうちに懐かしくなってきました。これは1977年当時のMACL...
2
0
Comment0
LISP1.5互換でFunarg問題
はじめに 思い立ってLISP1.5相当の機能をもった処理系を作りました。マッカーシー博士に対する敬意を表すとともに、できるだけシンプルな実装を示すことによりLISPに興味をもってもらいたかったか...
1
0
Comment0
並列Prologのためのラズパイクラスタマシン
先日、並列Prolog、並列Lispのために作ったラズパイクラスタマシンについてご紹介します。 かご 百円ショップにあった食器収納用のもの ラズパイ4B 9台 記憶装置 9台分のOSを入れるのは...
3
0
Comment0
SWI-Prologを超える：Parallel N-Prologがを巡回騎士問題を数秒で解く
最近、N-Prologコンパイラを「Elimination（消去）」を考慮するよう改良したところ、明らかな性能向上がありました。この改善を受けて、分散並列能力を再評価してみたところ、ワクワクする...
3
0
Comment0
並列分散でSWI-Prologを超える
ラズパイクラスタマシン N-Prologの分散並列機能を利用してラズパイクラスタマシンで並列動作するPrologを動かしました。そのことについて書き記します。 題材 巡回騎士問題を題材としました...
1
0
Comment0
分散並列Prologで巡回騎士問題
製作中 ラズパイクラスタマシンを作っています。ラズパイ４Bをまずは4台クラスタ接続します。 親機にはラズパイ４００を使います。うまくいったら将来的には８機の子機になる予定です。子機はそれぞれPr...
2
0
Comment0
巡回騎士問題：分散並列計算の題材として
巡回騎士問題：分散並列計算の題材として 現在、予定していたラズパイによるクラスター型マシンの製作に取りかかっています。 この並列マシンが動作したとき、どのような応用や計算実験が可能か、さまざまに...
1
0
Comment0
Montague文法、ニューロシンボリックへの第一歩
動作確認 前回の投稿にありますように、ラムダ算法の簡約器を作っていました。 その簡約器が動作するようになったため、いよいよ本命である Montague 文法に応用してみました。残っていた簡約器...
1
0
Comment0
Montague文法のためのラムダ計算
はじめに 前回の投稿で、Montague文法がニューロシンボリックAIに応用可能であることが見えてきました。Montague文法は自然言語（英語など）をラムダ式に変換する仕組みを持っています。も...
3
0
Comment0
151 search resultsShowing 1~20 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles