人気の記事一覧

30歳から数学を初めて良かったこと

3か月前

ここ最近の「(北欧諸国)4時に帰る」などのタイトルの本を深堀してみると、、5つの共通点があった!

”Prolog脳”とか”機械学習脳”、”生成AI脳”というのがある

数理議論学

1か月前

Prolog風に書くと業務課題を解く生成AI(理由は分からない)

4か月前

prolog - カット、カット!

11か月前

SWI-prologとAZ-prologの比較

SWI-Prolog 実行ファイルの作成方法など

Prolog

機械学習的な思想、数理最適化の思想

Prologで論理的にプログラミングを学んでいます(問合せ、回答)

1年前

Prologでプログラミングを学んでいます(論理型プログラミング)

1年前

乃木坂魔法学園 0

1年前

多分不正確な情報です。MacOSのbrewでインストールされるコマンドの意外な依存関係

【技】PrologとSQL/アルゴリズムとデータ構造の話

老プログラマーは死なず、ただ消え去るのみ

ハッカーと画家<書評>

割り算(割り切れるかどうかの判定)

奇数の不思議#8(ライプニッツ級数)

prologによる素数生成式

💎自虐がすぎるProlog言語黙示録風のwikipedia日本語版記事 tronとともに静かに眠れよ 論理言語のディアスポラ 宣言式のあれ

🎶蔵出しパターン#1 全行なめる

Bracmat入門#3 外部ファイルからプログラム実行とそこで使われているビルトインの関数などについて

私は絵が描けない。

連分数展開(√2)

無効なIDかどうかチェック

カプレカ数

prologによるコラッツ予想

NATURAL LIFE

5年前

真数学: 超越コンピュータと未来 SF か?

2週間前

え!PythonからPrologが使える?

1か月前

③Prolog風に書くと業務課題を解く生成AI(日本語7行のアプリ)

3か月前

prologとpython (とか C++とか)とで不等号の書き方がちがーう

vimでprolog述語を補完したい

Prologで論理的にプログラミングを学んでいます(再帰または帰納)

1年前

数理最適化ツール比較

💎Lispとprologの違い

Prologで論理的にプログラミングを学んでいます(節形式論理:入門)

1年前

足し算の不思議#4(無限級数の和2)

The beg_i_n_N_ing with the last episode -0+

1年前

星研(アイデア4)

ホーンドミラージュ Prolog🎵

🎶制約プログラミング パパママ誕生秘話 ダブルドラゴンの発見

📐確率的プログラミング言語の解説 webppl