工学社

理想的な並行論理プログラミング言語 「論理プログラミング」、「論理計算と随伴関手」、「半環上のフラクタル代数」、「フラクタル代数言語 Fractal」、「一階述語論理」などの内容です。以下のようなことを考察します。 Prolog のプログラムを「プログラムを変換するもの」と考える 変換されたものを (再帰の深さ のものを ) ある の結果が真ならば証明できるか？ これを使って無限に実行できるか？ これを考えるために Prolog のプログラムを多項式に対応させることができるかどうかを考えます。多項式については答えてくれるようなので ChatGPT で質問してみます。以下は入力とそれに対する答え…

並行論理プログラミングと半環 「論理プログラミング」では PLP と PLP+ というプログラミング言語を考えています。PLP は「Prolog について」のところで書いたような理想的な並行 Prolog です。PLP+ はこれの無限に実行できるバージョンなのですが、PLP が定義されていないので PLP+ も定義されていません。PLP+ はいったい何なのかというと、「素数を登録するプログラム」のようなものが書けるように Prolog を拡張したプログラミング言語を目指したものです。以下のような問題を考えます。 PLP は定義できるか PLP で論理式が証明できるかどうかを調べることができるか…

半環について Prolog のプログラムは論理式と解釈できます。論理式の全体は分配束となります。分配束は(単位元の存在などを無視すると)半環となります。このブログでは Prolog のプログラムを半環を使って調べています。分配束を使って調べても良いのですが、半環は環と同様のことが成り立つことがあって考えやすいので半環を使っています。いくつかの入力とそれに対する答えです。 半環の定義を教えてください 半環（Semiring）は、代数構造の一種であり、加法と乗法を持ち、それぞれに対して加法単位元と乗法単位元を持つ非常に基本的な構造です。以下に、半環の定義を示します。半環は、以下の条件を満たす二項演…

Prolog について Prolog について調査します。以下はChatGPTでいろいろ聞いてみたことの答えです。Prolog の本はあまり見つからないのでこの情報は役立ちます。 プログラミング言語 Prolog の詳しい仕様を教えてください Prolog（Programming in Logic）は、論理プログラミング言語の一種であり、特に人工知能や知識表現などの分野で広く使用されています。以下に Prolog の主な特徴や仕様をいくつか挙げてみましょう。 論理プログラミングの基盤: Prolog は論理プログラミングの基本原理に基づいています。これは、プログラムが事実と規則の集合で構成され…

大変ご無沙汰しております。。 そろそろ前回の更新から1年経ってしまうので、重い腰を上げて攻略しました。 そのゲームは、、 ミントマークの大冒険 (PC-6001mk2) 攻略！ ～第1回 海の冒険～ スタート画面 ミントマークの大冒険 (PC-6001mk2) 攻略！ ～第1回 海の冒険～ 「ミントマークの大冒険」の広告 ミントマークの大冒険 攻略開始！ ミントマークの大冒険 攻略 ～第1部 海編～ 次回は島から このゲームの存在は知っているけど、実際にプレーしたことはなかった。そんなP6ユーザーは多いと思います。私もそうでした。ゲームの存在は「チャレアベ」のアドベンチャーゲーム一覧で紹介され…

自主制作用の素材が揃いつつある南国さんですこんにちは。 普段は動かすのが専門なのでパーツ分けを意識して絵を描くのは大変ですね、ゲーム関係のイラストレーターさんは神だと思います。 Spineではじめる2Dアニメーション (I/O BOOKS) 作者:フーモア 工学社 Amazon 1年前の記事振り返りコーナー gourmet.studio-nangoku.jp 日本橋三越の催事にて購入した美味しいケーキの記事になります。今年もまた色々開拓していかなくては！ さてさて本日は最近食べたカップ麺をご紹介。 前回の記事はこちら gourmet.studio-nangoku.jp セブンイレブン限定 明星…

受験したきっかけ 1回目(7月):不合格 対策 本番 結果 2回目(10月):合格 対策 本番 結果 1級について しばらく記事を書かない間にいろいろなことがあったので、それについて書いていこうと思います。(TeXとかLaTeXで数式書くのが時間かかりすぎて更新を辞めてしまっていました。※LaTeXとTeXの違い分かってません。) 今日は、数検(実用数学技能検定)に合格したことについて書いていこうと思います。 受験したきっかけ 俺はうちの高専の数学愛好会に所属してる。まあ愛好会っていうのは、部活みたいなもんです。 たぶん、人数とか規模が大きくなってくると、部活に昇格できるんだと思う。(知らんけ…

VR（仮想現実）とAR（拡張現実）は、最近注目されているテクノロジーです。VRは、ヘッドセットやゴーグルなどのデバイスを使って、完全に別の世界に没入することができます。ARは、カメラやスマートフォンなどのデバイスを使って、現実の風景に仮想の要素を重ねることができます。VRやARは、ゲームやエンターテイメントだけでなく、教育や医療、ビジネスなどの分野でも活用されています。 では、VRやARを楽しむためには、どんなガジェットやアプリが必要なのでしょうか？ここでは、初心者から上級者まで、さまざまなレベルのユーザーにおすすめのガジェットとアプリを紹介します。 VRガジェットの種類と選び方 ARガジェッ…

LinuxにCUDAをインストールする方法をまとめます．インストールだけでなく，動作確認として SDK，開発環境が動作すること 作成したプログラムが実行できること まで確認します インストール インストール手順 インストールはNVIDIAのページに書いてある手順をそのまま実行するのが良いです．以前はディストリビューション毎にCUDAの独自パッケージがあり，ディストリビューション毎に独自のインストール方法が必要でした． またディストリビューションによっては独自パッケージの更新が遅く，最新のパッケージSDKが使えないという問題もありました．しかし2024年の今では独自パッケージを使うよりも，NVI…

こんにちは！ キリン舎です。自己紹介についてはこちらからどうぞ。 kirinsha-report.hatenablog.com今週の出来事は、こちら！ ( ..)φメモメモ 【キーボード】Meletrix Boog75 レビュー -DPQP 【キーボード】CreatorPad Keycaps 単体での販売開始-moimate 【キーボード】[GB] Doys Pad -遊舎工房 【キーボード】ゆかりさんがmoimateの代表に就任 【キーボード】OLED用の画像・動画素材のオーダー需要（未定） 【キーボード】Monkeypad 【キーボード】マーブルペイントノブ 【キーボード】レンタルボックス…

朝 曇り。 散歩をしてシャワーを浴び髭を剃り朝ごはん。読了、「惑星」の話/佐々木貴教「惑星」の話―「惑星形成論」への招待 (I・O BOOKS)作者:貴教, 佐々木工学社Amazon 昼 26年住んだ自宅を断捨離@TV。 うーん、服が多いですね。 あまり頓着せずにどんどん手放しています。 体型が変わって着られないこともありますか…。食料品を買い出しに行きます。 年末年始対応で蒲鉾用スペースを作っていました。 袋詰めスペースが混雑しているのは昨日と同じです。 夜 野菜炒めの下ごしらえ。 ごはんを炊きます。 たまごを茹でておきます。世界の快適音楽セレクション 忘れられない音楽、を聴きます。 あなた…