techtech0521のブックマーク - はてなブックマーク

JavaScript で論理学を実装 - Qiita

0. 概要 JavaScript上で命題論理の言語を実装し、意味論 (恒真式・意味論的同値関係やタブロー計算)の各種概念も実装に落とし込む。証明論は未実装。動作環境は Node。依存パッケージは nearley (構文解析) のみ。npm i --save nearley で環境構築完了。 0. 表記原子命題は p,q,r,s,t,u のみ利用可。¬⋀⋁→↔ は -,A,V,->,== とする。よって例えば、$\neg\neg p \leftrightarrow p$ は --p == p となるし、$\neg(p\wedge q)\leftrightarrow \neg p \vee \neg q$ は -(p A q) == -p V -qとなる。 1. 統語論～構文木の構築～文字列を構文木にする。木構造には JavaScript の Array を利用する。具体的には pAq

techtech0521 2024/03/03

あとで読む

リンク

JavaScript・再帰・トランポリン - Qiita

現状整理 JavaScript では末尾再帰最適化(PTE: Proper Tail Call) は、完全には期待できない https://kangax.github.io/compat-table/es6/ 末尾再帰による最適化 - Qiita なので再帰は注意して使わねばならないスタックオーバーフローしないことをチェック再帰を辞めて for 文とかに何とか変換するとはいえ再帰を使いたいこともあるじゃあどうするか？が本稿の目的再帰におけるスタックオーバーフローは、末尾再帰の最適化ができる他の言語でも起こりえる(例: 末尾再帰できない場合)。じゃあ、他の言語の場合どうしているかというと、トランポリンするらしい。もちろん JavaScript でもトランポリンできる。トランポリンすると、再帰が深くなってもスタックオーバーフローしない。処方箋ざっくりいうと以下の処方でスタックオ

techtech0521 2024/02/18

あとで読む

リンク

ガチャプログラムの実装（中級者向け） - Qiita

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

techtech0521 2024/02/16

あとで読む

リンク

for...of を使うなってAirbnbが言ってたから使わないようにしてたら慣れた - Qiita

概要 Airbnb の JavaScript Style Guide を適用する eslint のプラグイン eslint-config-airbnb を入れてコーディングをすると、 for ... of を使うなと怒られる。仕方ないので、map とか forEach とか every とか使っているうちに、for..of を使わないでやっていけるようになったという話。 1. 状況整理 1-1. 怒られる理由 for..of を使うと eslint-config-airbnb が怒る。理由は no-restricted-syntax 。詳しいことは、Qiita の記事「ESLint対応物語 ~no-restricted-syntax~」と、その記事へのコメントが詳しくて、抜粋すると以下。 for-of 構文を Babel (babel-preset-es2015) で変換すると rege