はてなブックマーク - JavaScript で論理学を実装 - Qiita
https://b.hatena.ne.jp/entry/s/qiita.com/41semicolon/items/a0218fd86b5c9f1869c3
0. 概要 JavaScript上で命題論理の言語を実装し、意味論 (恒真式・意味論的同値関係やタブロー計算)の各種概念も実装に落とし込む。証明論は未実装。動作環境は Node。 依存パッケージは nearley (構文解析) のみ...
-
techtech0521
https://b.hatena.ne.jp/techtech0521/20240303#bookmark-4666949562170587874
2024-03-03T12:13:03Z
あとで読む
-
Lie_Room
https://b.hatena.ne.jp/Lie_Room/20190408#bookmark-4666949562170587874
2019-04-07T23:47:12Z
-
tanakaBox
https://b.hatena.ne.jp/tanakaBox/20190407#bookmark-4666949562170587874
2019-04-07T14:51:41Z
logic
-
Ioannes
https://b.hatena.ne.jp/Ioannes/20190407#bookmark-4666949562170587874
2019-04-07T06:37:39Z
-
BuchuntaGo
https://b.hatena.ne.jp/BuchuntaGo/20190407#bookmark-4666949562170587874
2019-04-07T05:40:19Z
あとで読む
-
samurairodeo
https://b.hatena.ne.jp/samurairodeo/20190407#bookmark-4666949562170587874
2019-04-07T02:15:41Z
あとで読む
-
Hiro_Matsuno
https://b.hatena.ne.jp/Hiro_Matsuno/20190407#bookmark-4666949562170587874
2019-04-07T02:13:22Z
-
indblo002
https://b.hatena.ne.jp/indblo002/20190407#bookmark-4666949562170587874
2019-04-07T00:59:59Z
-
yukimori_726
https://b.hatena.ne.jp/yukimori_726/20190407#bookmark-4666949562170587874
2019-04-06T23:30:35Z
あとで読む
-
kuuote
https://b.hatena.ne.jp/kuuote/20190407#bookmark-4666949562170587874
2019-04-06T16:00:31Z
-
masarukondo
https://b.hatena.ne.jp/masarukondo/20190407#bookmark-4666949562170587874
2019-04-06T15:40:45Z
-
peketamin
https://b.hatena.ne.jp/peketamin/20190407#bookmark-4666949562170587874
2019-04-06T15:29:03Z
-
yancy1969
https://b.hatena.ne.jp/yancy1969/20190407#bookmark-4666949562170587874
2019-04-06T15:10:18Z
あとで読む
-
spy_simon
https://b.hatena.ne.jp/spy_simon/20190406#bookmark-4666949562170587874
2019-04-06T14:09:06Z
-
oddvolume
https://b.hatena.ne.jp/oddvolume/20190406#bookmark-4666949562170587874
2019-04-06T13:53:32Z
-
kenzy_n
https://b.hatena.ne.jp/kenzy_n/20190406#bookmark-4666949562170587874
2019-04-06T13:43:17Z
-
xef
https://b.hatena.ne.jp/xef/20190406#bookmark-4666949562170587874
2019-04-06T13:31:13Z
JavaScript
Logic
-
nukosan555
https://b.hatena.ne.jp/nukosan555/20190406#bookmark-4666949562170587874
2019-04-06T13:25:59Z
あとで読む
-
advblog
https://b.hatena.ne.jp/advblog/20190406#bookmark-4666949562170587874
2019-04-06T13:20:21Z
-
kybernetes
https://b.hatena.ne.jp/kybernetes/20190406#bookmark-4666949562170587874
2019-04-06T13:09:28Z
-
netcraft3
https://b.hatena.ne.jp/netcraft3/20190406#bookmark-4666949562170587874
2019-04-06T12:28:06Z
-
cj3029412
https://b.hatena.ne.jp/cj3029412/20190406#bookmark-4666949562170587874
2019-04-06T12:18:22Z
-
so-do12
https://b.hatena.ne.jp/so-do12/20190406#bookmark-4666949562170587874
2019-04-06T12:17:20Z
*あとで読む
javascript
-
azechi_n
https://b.hatena.ne.jp/azechi_n/20190406#bookmark-4666949562170587874
2019-04-06T12:08:07Z
あとで読む
-
narita1980
https://b.hatena.ne.jp/narita1980/20190406#bookmark-4666949562170587874
2019-04-06T12:01:14Z
あとで読む