エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2023-05-01から1ヶ月間の記事一覧

クロージャーの調査(3)

プログラム電卓(Blockly)へのクロージャーの導入(2) 前回説明した言語を改造してBlocklyを使ったクロージャー調査用の言語を作成します。 数値と真理値の計算 変数 [変数] を [値] と定義 [ステートメントブロック] 変数 [変数] に [値] を代入 [ステートメ…

クロージャーの調査(2)

プログラム電卓(Blockly)へのクロージャーの導入 前回の「クロージャーの調査(1) - エレファント・コンピューティング調査報告」では「プログラム電卓」にクロージャーを導入するという方針だったのですが、方針を変えて「プログラム電卓(Blockly)」でクロー…

フラクタル(4)

「Blockly デベロッパー ツール | Google Developers」を使ってフラクタルを記述する「フラクタル(Blockly)」では、JavaScriptで記述できるものと同様のものをBlocklyで書いて「変換リスト」を作成するようになっています。(バージョン1)これを改造して、バ…

フラクタル(3)

Mathematics and Computingに掲載した「フラクタル1」はJavaアプレットを使用していますが、これをJavaScriptで書き直したものを数学とソフトウェアのページの「フラクタル1」に掲載しました。 使い方 「フラクタル記述言語」 (誤ってこのファイルを上書きし…

ビジュアルプログラミング(22)

ビジュアルプログラムによる計算・プログラム電卓(Blockly)・フラクタル(Blockly)の予定 ビジュアルプログラムのやり方で群の計算をやる予定だったのですが、Blocklyではブロックを繋げるときに選択する方法がわからない(ないかもしれない)ので、難しいよう…