2024/03/12 お気楽Prologを更にやっていく
昨日は昼間に時間がなく、借りてる本も読まないといけないし、夜はなんか疲れてしまってProlog学習が出来ませんでした。まあ、朝にBlog書く時に復習してるようなものなので全くやってないわけでは無いのだが!
Prolog学習を続ける前に「もしかして僕ってPrologが嫌いなのでは?」と不安になる。好きなら疲れたとか関係無いから!というわけでLRでチェック。
プログラミングー>OK
Prologー>NG! やっぱりな
というわけでLRで思考修正「Prologが大好きである」がバランスするまで調整する
![](https://blogimg.goo.ne.jp/user_image/2e/5c/2d7ad09eab9720dce545b19048e57cc8.png)
Appendの続きから。おおっ!?自由変数を変更することで、別の引数部分を割り出すことが出来るのか!確かに理屈から言えば「そうなるよな」と理解できるんだけど・・非常に面白いですねぇ!
![](https://blogimg.goo.ne.jp/user_image/7e/76/492691fcbd7fcd8d654ba0441436eec9.png)
うーん、ムズい。ルールの中に別のルールが入った再帰パターンは初めてなので、どういう動作をするのか全くわからない。「プログラムは簡単です」って一言が追い打ちをかけてくるw
うーん・・Head部の第二引数Ysが探索して望む値?になるので、最終的にそれを出力するようにBody部を組み立てると・・基本になるのが再帰のXs,Zsで、Appendも不確定の自由変数Ysを探索するはずなので・・なんとなく分かるような分からないような
![](https://blogimg.goo.ne.jp/user_image/59/f5/3e6d06bcb031eccd10d49db77808eeb4.png)
Claudeに動作を説明してもらうと・・再帰で潜っていって停止した状態になったところでAppend開始か・・しばらくはこのパターンって事で覚えておくしか無いか。数をこなせば理解出来るときが来るはず
![](https://blogimg.goo.ne.jp/user_image/45/e4/3501a177ea1aa12e105283d2a1737427.png)
練習問題、Copyは正解出来たが
![](https://blogimg.goo.ne.jp/user_image/4f/89/3a66e72178cd9ca3726d72d8ea0fcf12.png)
リストの要素を合計するSumlistは不正解。上が自作、下が解答例。
うーん、Bodyの計算でA1とAを間違っているのが原因。Bodyの再帰部分がA1なのでLet的にA1に束縛するように思ってたけど、Head部分の条件を満たすってことだからか?束縛すべきはAだったと?
![](https://blogimg.goo.ne.jp/user_image/3e/8b/85046a04e3bb73f3ef2fef9f798195fa.png)
続いてリスト内の最大値を返すMax。うーん、不正解。
X>AだったらA1にXを束縛して・・とかいきなりSumlistでの教訓活かせてないから。そしてそれ以前に場合分けの場合は1つのルールでこなす必要はなくて都度別のルールを作れば良いのか、とか。
![](https://blogimg.goo.ne.jp/user_image/4c/bb/af3ca1b69bd08c4b336488ce440184c7.png)
気になったので終了条件を変えてみる。空になった時に0で良くない?と。結果、OKでした。まあでも解答が正しいな
![](https://blogimg.goo.ne.jp/user_image/09/d9/13067bb3ed89fa1d588a73f5d8ca69d6.png)
練習問題が終わって次へ。Memberの実装・・これで出来るんか〜(-_-;)
まあ、引き続き学習続けます。
![](https://blogimg.goo.ne.jp/user_image/70/23/bb5b9215f18d13c45ab99294149a86c3.jpg)
宿直先では座ってサイトを見るのがしんどい(高さが合ってない)ので練習問題以外の時にはPCを倒してベッドに寝転がりながら行うことにしました。
結果、すごく良く眠れました
2024/03/10 お気楽Prologをやっていく
![](https://blogimg.goo.ne.jp/user_image/33/1a/f2f41cc8da60d595e0a7d4f54a8abaca.png)
練習問題の続きをやっていく。リストの最後の要素を返すMy_lastを書けという。書けそうじゃないか?と思ったが書けないw
解答を見ると・・あ、なるほどな〜・・読んだら「なるほど」と思うんだけど書けない。[x], Xでリストの要素が1つだけだったら・・ってのも言われたら「そうね」と思うけど発想がなぁ〜
![](https://blogimg.goo.ne.jp/user_image/1f/f2/44b9091e99a0192a5408b8c5444e742f.png)
そしてAppend。この行は分かるんだけど(しかし後に根本的に勘違いをしてたことが発覚する)
![](https://blogimg.goo.ne.jp/user_image/58/3d/5019c60e210bf759c44ff98393e9799d.png)
なんでいきなりXsが出てくるの?と。第2引数は上の行で言うところのYだから、Yでエエんじゃないか?と。つまり、今から考えるとルールのルールを分かってなくて、やっぱり上から順番に処理されてると思ってるんですよね。なので実引数の2番めの要素(今回はリスト)が1行目でYに束縛されてるんだから[], Y, Yと書けば1行目の第2引数、2行目の第2引数、2行目の第3引数と束縛の連鎖が続いていくと思ってたわけ
![](https://blogimg.goo.ne.jp/user_image/70/c8/58eb83be1134d1477aaa60ddccabff7f.png)
ん〜・・いや・・ちょっと質問が悪かったかな。Xs = Ysの=はEqual?って話なのかってんじゃなくて束縛されてるんじゃないのか?って事を聞きたかったのだが・・。つまり、変数の名前がかぶってても値は参照されて無いんじゃないのか?って事が聞きたいわけ
![](https://blogimg.goo.ne.jp/user_image/72/77/ef2a95b729226b9f0a048b1ea1ee0f98.png)
!!
![](https://blogimg.goo.ne.jp/user_image/6b/c7/d0379fded917a93fbc089969ce98be96.png)
なんだよそういう事か〜・・なるほど段々と「理解できてない原因」が絞れてきたぞ。
とことんパターンマッチってのが分かってなかった。実行時に不確定(自由変数)である第3引数にマッチする値を探してるので、実質的には2行目の第3引数には第2引数が束縛されることになる(じゃないとマッチしてないから)ってことか。
で、1行目で再帰してるから、ここからやっとこさZsが確定してXsがケツから合体して行き、Zsがあるべきマッチ状態を組み上げると・・。
うーん、分かりかけて来てる気がする。まあ、気がするだけだけだろうけど。引き続きProlog学習します。
2024/03/09
話題その1 お気楽Prolog、なんかパターンが浮かんできたかな
![](https://blogimg.goo.ne.jp/user_image/45/4e/cac990776c544dadd6ff744dba10560d.png)
リストの練習問題。こうか!?と思って書いたのが上、下が解答。
おっ!?ほぼ合ってる!そうか終了条件の段階でのSをリストに入れておかないといかんか。あと、終了条件の第2引数がSだと・・?
![](https://blogimg.goo.ne.jp/user_image/7e/df/7f18906aa8fd90dc6abd2eea8f6d6674.png)
うーん、別にEで良い気がするんだけどなぁ
![](https://blogimg.goo.ne.jp/user_image/29/6c/8ac03ef689e046f73fba6b01373ceaf1.png)
続いてTakeの実装。上が自作で下が解答。ヘッド部の変数の分け方が分かってない。そしてもう一つ問題は終了条件の第一引数か・・都度変化するから_にしてスルーさせないといけなかったか。Nが0より多いってので判定はオッケイなんだから。第3引数は今度は空リストか〜
![](https://blogimg.goo.ne.jp/user_image/58/4b/65bca60aa7429b8b8129ba994a6679c5.png)
続いてDrop実装。これは全く手も足も出なかった・・[_ | Xs]でCar部をどんどん削除していけるとは・・。
なるほどな・・再帰系のルールとしては
・関数に使う変数を決める:元になるデータ、カウンタ、出力用自由変数
・ボディ部の変数はカウンタだけを更新用にして残りを素のままで書く
・ヘッド部の変数を変化させたい形に組み立てるテンプレート的に書く
・終了条件で判定部分は変数、スルーする部分は_、アキュムレータにする部分は基本的に空リストでOK、と。
話題その2 Prologが終わったら今度こそマクロに挑戦だな!
![](https://blogimg.goo.ne.jp/user_image/03/da/b5d691922d46f5d2db7b4385dde0de10.png?1710045688)
2024/03/08 お気楽Prologをやっていく
![](https://blogimg.goo.ne.jp/user_image/7c/42/ad587f6b9617cb8536d7987b4e011f92.png)
関数?の造りがさっぱり分からないのでClaude先生に一応解説をお願いする。
うーん、見た感じ想像してたよりはかけ離れていないような?
x>0はループの条件だし、X1 is X - 1はループのステップ、新たな変数での再帰があって演算結果を新たに束縛・・そしてなぜに別になってるのかはまだわからないけど終了条件としてfact(0, 1)と。
文法的には,で区切られてるのはAndなので全部がTrueかをチェックしてるっぽいが?
![](https://blogimg.goo.ne.jp/user_image/0c/4a/71f761e284507104f9bd9d0a44835884.png)
一応先生に問い合わせをしてみる。
![](https://blogimg.goo.ne.jp/user_image/57/45/61acfa18d49eb6423642e3a3e9a02158.png)
お、やっぱりな。そして並びは可読性の為だったか。確かに「なじみのある流れ」だと感じたので大いに効果があるかと
![](https://blogimg.goo.ne.jp/user_image/61/65/a4945a9d26daa56432f1ecd2427c02c3.png)
なるほど・・とは言いつつ明らかに理解しきってないのを自分で感じるな。再帰の関数はこういう風に書くんだ、と形で覚えることは出来るけど。上のボディ付きの方がFalseとなった時点でfact(0, 1)が呼び出される気がするんだけど、じゃあなんでそれで本体ありのFact(... に適用されるんだ?と。ここらへん、今までの言語の考え方が抜けてないんだろうな、と。まあ、Schemeの時も「いつの間にか」分かるようになって来てたし、言語の理解ってそういうものかもな?とりあえず続けよう
![](https://blogimg.goo.ne.jp/user_image/75/e2/67809f05ad7c9e20f2473cd27793fa17.png)
WEB版のSWISHでリスナー部分を使ってちょっと遊んでみる。例文をそのまま打ち込むと・・・ふーん。=が束縛とか代入で無いとか何とか?なんだ?
![](https://blogimg.goo.ne.jp/user_image/5b/6f/54cfa5d7168d6812eb393bf4729a6f00.png)
Xが非表示になってたので表示するようにしてみる。値は1+1か・・うーん環境がそのまま入ってるってことか?
![](https://blogimg.goo.ne.jp/user_image/20/ca/b2064b7610b19717f27c97c4cc5f1e41.png)
とりあえず聞いてみるか・・。
ふーん・・というか、なんで複数の機能を持ってるんだよ。1つの関数に1つの機能、スタンドは一人に一体がルールだろ〜
2つ目は・・いわゆる束縛っぽいな。Xが無束縛だったら束縛済のYと同じになる?1つ目と3つ目の解説を求む
![](https://blogimg.goo.ne.jp/user_image/14/7e/e4938610cdbda0430577d277811a69c1.png)
はぁ・・これって意味ある?
![](https://blogimg.goo.ne.jp/user_image/51/01/c12192dff41ef48cb9d450955b04ae4e.png)
やっぱ意味ないんかーい!
![](https://blogimg.goo.ne.jp/user_image/7b/fb/3cc563218342737336235724d2c17ef5.png)
なるほど?
![](https://blogimg.goo.ne.jp/user_image/19/b3/4946d8dff24aed374643b7359c1c9d44.png)
なるほど・・同じファンクタ限定の高機能なEqual?述語って事か?
![](https://blogimg.goo.ne.jp/user_image/02/f9/dfa5e5ae59fd5375a5d2d708fdac4d8c.png)
まあ結局のところ、=の述語ってことかな
![](https://blogimg.goo.ne.jp/user_image/6a/dd/9c40fad8fed31970f7aa9e77311e4bac.png)
実際のところ=とIsでどう違うのか実験するか
![](https://blogimg.goo.ne.jp/user_image/1d/77/876356fcca52dbece935b5c1cfd3c51b.png)
Isだと計算結果を束縛してると
![](https://blogimg.goo.ne.jp/user_image/1e/a2/983e14fde39c2a44e952c5855e97e1c6.png)
=だと式をそのまま束縛してると
![](https://blogimg.goo.ne.jp/user_image/32/61/681fac370414838fcef905f4ea272c1b.png)
自由変数Zに数値が計算された結果が束縛されると。まあ、なんとなく分かったかな
![](https://blogimg.goo.ne.jp/user_image/5e/1b/993689675f631ace920d0a5977322f9f.png)
色々といじっててようやくエディタの使い方が判明する。左側で新たなタブを開いて、Programを選んでコードを書くことが出来て右下で実行が出来て、その上に結果が出力されると。楽しくなってきた
![](https://blogimg.goo.ne.jp/user_image/15/1b/d19ce0513b05a3cac72c7b4041cb2e07.png)
練習問題をやってみる。うーん、こういう感じ?例文を改変して書いたので書けてるけど、ゼロからだとまだ怪しい
![](https://blogimg.goo.ne.jp/user_image/2d/c5/94b947fb1c6980b85bcf7c43b7f0562c.png)
X乗の合算、こうかな
![](https://blogimg.goo.ne.jp/user_image/66/2c/0e9180cd01df993be9309d72b34ff76e.png)
解答。えっ!?sum1(N, A) :- A is N * (N + 1) // 2.って・・あ、別解か。
![](https://blogimg.goo.ne.jp/user_image/0a/9a/a50fd23410b0fbada0d1e170a6f31075.png)
解答。別解は・・・別にエエか。
![](https://blogimg.goo.ne.jp/user_image/26/3a/0378ebb5757bcab9f753f7552ed94622.png)
![](https://blogimg.goo.ne.jp/user_image/5a/13/006e21826cbdcfabec13357be3558edd.png)
これが分からなかった。コードの最後の行pow(2, 0, 1).としてますが、解答では_となってる。ここにXを入れるとエラーなので、しょうがなく実引数と同じ数値を入れて何とか動いてるわけだが・・
![](https://blogimg.goo.ne.jp/user_image/5f/60/3714f61f8009510bbc371d2686c89483.png)
はぁ〜・・なるほど。終了条件も実行時に任意に決められる場合にはこうしないと駄目ってことか・・覚えておこう
![](https://blogimg.goo.ne.jp/user_image/45/9f/fa476b1a7a4bc3579af0ddd1924815b5.png)
Fizzbuzzは全く思いつかず。あ、これは・・・なんとなくこれが出来るならBrainfuckも出来そうな気がするな。
ふーむ
・予め述語用のテンプレートを作っておいて
・Fizzbuzz関数の中で未定義の変数Sを探索するように書いてChangeを呼び出して
・出力用のSはChangeで束縛済みのを流用して(ってことでいいのか?)
・Changeでマッチしなかった場合は再帰で次のテンプレートをチェック
こんな感じだろうか?
2024/03/07 Prologの入門ページを読んでいく
![](https://blogimg.goo.ne.jp/user_image/48/3d/5586249dfdf45d52ab610ab0c8c44cd7.png)
最初Claude3先生にコードの解説をしてもらうことで学習をしようと思ったが・・やっぱり体系立ってるページを読みたいと。公式は英語だしなぁ・・
![](https://blogimg.goo.ne.jp/user_image/28/51/44cb4586a6312337c8c2686b3c7b315e.png)
探しているとどこかの大学の講義のページに行き着く。おお・・しかし3日分しかデータがない。課題が出てるんだけど解答・解説は授業でやる予定だったのか載ってないし・・何しろ古い。WindwsXPにインストールする方法とかが解説されてるし。
ちなみにリストの上はリストの解説部分。おお、Consやん!
![](https://blogimg.goo.ne.jp/user_image/3c/ec/2a3805fceee4f57b5ee64b778bd80bca.png)
探索プログラムの例。ふんふん、少なくともこういうことは出来るのか・・とにかく今までの力技というか・・なんとかして動けば良いやってのは通用しない言語やな、と。データと処理の設定(ファクトとルール?)のをガッチリ論理的に設計しないとどうしようもなさそう。
![](https://blogimg.goo.ne.jp/user_image/70/26/e6a3e4e4e24b9d6daef30c2758d38b2e.png)
もうちょっと分かりやす解説無いのか・・と探してたら、なんとお気楽さんが作ってくださっていた!
というわけで読んでる最中最中なのです。今のところ、これでBrainfuck的なものを書ける自信は全く無いですねぇ!
2024/03/06
![](https://blogimg.goo.ne.jp/user_image/2a/a9/7d34c61bbe3adc692d00c0c257a87576.png)
ジェネレーターが気になったのでRacketで同様の機能があるかと聞いてみると・・ここで継続か!
![](https://blogimg.goo.ne.jp/user_image/42/c9/2c7068aa2a9eb6a8592204ce9b2aaf87.png)
Pythonのジェネレータに関してはコードを見る限りReturnの代わりにYieldを返すように書けば勝手にジェネレータになるっぽいのでパワーアップしたというClaude先生に聞いてみる(先日2から3に上がってGpt4を超えたという謳い文句)。
まあ、Claude先生が正しいとすれば、この理解で大丈夫なようだ
![](https://blogimg.goo.ne.jp/user_image/0f/6c/d114591556aee2788265d3cd79d42ecc.png)
で、折角なので関連があるという継続をこの際だから勉強してみるか・・
![](https://blogimg.goo.ne.jp/user_image/09/43/d66dee084e9c9eddaf0e54af04775afe.png)
書かせたコードを見る限りでは大域脱出のパターンの最後に変数を更新してるってだけっぽい?
![](https://blogimg.goo.ne.jp/user_image/11/8a/978c2b74d45b00c840b9edcd9bc63f97.png)
ほーん・・なるほどね!
![](https://blogimg.goo.ne.jp/user_image/25/e4/1bf63e1c5c6de84b60aff18c80522de7.png)
折角なのでいっちょ例文を書いてくれ!と頼んでみる。ちゃんと継続になってないバージョンも併記してくれるのが助かるなぁ(頼んでないのに)。
この場合ではただの大域脱出と変わらように思えるけど・・・まあ、他にはジェネレーター的なものしか使いみちも思いつかないし、今日のところは「少しは理解が進んだ」って事で良しとしよう。
あとはPrologの入門ページを読んでました。
2024/03/05 PythonでBrainfuck、一応完成
![](https://blogimg.goo.ne.jp/user_image/60/be/09ec3eb4c0431f63e5ef97757a2dd299.png)
[ ]でのコマンドリスト適用にFoldが必要なのでPythonでのReduceの使い方を調べる。
![](https://blogimg.goo.ne.jp/user_image/22/f1/b0827a16578abeb4ada22d08a6af6fe8.png)
とりあえず[で始めて]でそれまで溜め込んだコマンドを一気に適用するという例の方法をやってみる。
![](https://blogimg.goo.ne.jp/user_image/1b/57/a94388edc96898dc2674111933c6f951.png)
オッケイ!問題は−でループの回数をコントロールする部分だけど。Racketでの2重ループで外側から検知ってどうするか・・
![](https://blogimg.goo.ne.jp/user_image/6b/e7/e9cf577340f2a4b700a0eb13392c4e60.png)
結局、内部の関数の中に更に関数を作って(Let loopみたいな感じで簡易に各方法があるのかも知れないけど・・今はとりあえず動けば良いかって事で)、外部に保存しておいた元のCommand_listをPointer部の数値が0になるまで繰り返すって感じで?
![](https://blogimg.goo.ne.jp/user_image/13/7a/d43e4a357dfbed8ad99989c4e6df881f.png)
なんといきなりちゃんと動いてしまったんだな、コレが
![](https://blogimg.goo.ne.jp/user_image/00/a2/d40ccee0898207cde7968cbdfe700d5f.png)
退勤まで時間があったので入力時に想定外のコマンドが入ったときの対処を例外処理で書く。すごく分かりやすい文法で気に入った!
![](https://blogimg.goo.ne.jp/user_image/7c/c2/8386e175637abd90af39725cad9d7b33.png)
まだ時間があったので連続入力部分も書く。こっちは引数が2つ必要なので一緒にまとめることは出来ないか・・と思ったんだけど、考えてみたら他のc_minusとかも同じ形にすれば・・あ、でも辞書でのピックアップで+++とかってのを拾えないか・・辞書部分で正規表現が使えればできそうだが?
![](https://blogimg.goo.ne.jp/user_image/18/77/24c27be588ec2daecc47fbc573f2ec1b.png)
実験、成功。おお〜出来たで!そして確かにちょっとはPythonに慣れることが出来た気がする。
うーん、折角なのでこのままPrologとRustでもBrainfuckに挑戦してみるか・・Prologのあの仕組みでどうやってプログラムが動くのかが非常に気になる。
2024/03/04
話題その1 PythonでBrainfuck
![](https://blogimg.goo.ne.jp/user_image/4d/42/eda61d44c4829320327eb9ebb810dd79.png)
Dive into Pythonを読みながら進めようという予定だったけど、面倒になっていきなりBrainfuckを書き始めてしまう。結局Racketで書いたものを翻訳するカタチになりそうだし、書き方がわからないときにはWRTN教授に聞くって感じで(Cametanさんがおっしゃって下さってるように自然言語で検索してる感じですわ)
しかし上のコード・・Returnの後に(が入れたくてしょうがない。他は慣れそうだけど、ここは気持ち悪いなぁ
![](https://blogimg.goo.ne.jp/user_image/64/4e/1cad5bdc6333f6d8d931b62e79bbcbed.png)
クロージャを書いていきまして・・・あ、<とか-とか,とかがシンボルとして使えないのがちょっと不便ですかねぇ
![](https://blogimg.goo.ne.jp/user_image/28/de/4382f57c3bc0a08003d6e3f3e25cc385.png)
場合分け部分。Brain_readって名前はおかしいような気がするけど・・結局内部でEvalもLoopもしてしまうからなぁ・・ま、エエか。
![](https://blogimg.goo.ne.jp/user_image/62/eb/1b7c230205524e55622828ff91c45662.png)
[ ]はまだ実装してないのですがとりあえずテストしてみる。うーん、ここまではOKかな?
あとは[ ]と連続入力部分か・・
![](https://blogimg.goo.ne.jp/user_image/5a/21/dfe33090ceadaeb68615efdce67c2a2e.png)
クロージャをリストに入れて・・ってのが出来るかチェック。
schemeで言うところの
(define test (lambda (test) ...) ...
という変数にクロージャを閉じ込めるってのをやりたくて。ほ〜ん・・クロージャって言うか普通に引数なしの形で関数を入れてるだけって感じだけど、こう書くしか無いのか。動けば良いんだけど。
ところでこの場合分けの部分、辞書形式で呼び出すようにするべきだったわ。書き直す事にしよう。
話題その2 CametanさんのAI話
![](https://blogimg.goo.ne.jp/user_image/36/a7/1d5ae9bedb617fabc7c274f6c2248d30.png)
ガビーン!なるほど・・てっきり、何度も「動かないんですが」「こういうエラーが出ますが」とかってやってれば「オッケイでした」というリアクションがあった時点で少しは更新されるのかと思っておりました。駄目なことは何回聞いても駄目な可能性が高いのか〜。メジャーアップデートが行われる時点でどういう処理をすんのかなぁ〜・・まさか学習の範囲を「広げる」だけだとしたら
![](https://blogimg.goo.ne.jp/user_image/07/68/b2fb4a014a59f7bbcc9b6c70a9f5d736.png)
これはずっと解消出来ないっぽいですよねぇ・・。内部で環境をエミュレートして(それこそテスト駆動開発的に)無限に演算を繰り返してテストに通ったコードだけを返してくれるとかって風にはならんのかなぁ。
話題その3 Idleのアイコン
![](https://blogimg.goo.ne.jp/user_image/63/09/2da226fcee8167ae89f74ade7892a247.png)
アイコンの切り抜きが雑すぎてダークモードだと使いにくい!