2019/06/19-07/01のツイートまとめ
Wrote a SAT solver in MIT/GNU Scheme.?https://pastebin.com/qHzj9DsD??Enderton (2001, p. 23) says "ν satisfies φ iff ν?(φ) = T" and I realized that the satisfiability problem (SAT) is to check whether a Boolean formula can be true. I knew SAT is NP-complete but I didn't know what SAT is.
Read MoreCreated an online Scheme formatter / beautifier here:?https://paiza.io/projects/66YJMdhAsZneYIr4VpgHMg?locale=en-us?…
Read MoreDoing symbolic differentiation in MIT/GNU Scheme as described in SICP 2.3.2. Ended up with something like term rewriting. I don't know how to do this elegantly in Scheme.?https://pastebin.com/sXEDx9Jg?
Read MoreJavaScriptで集合を表現した?https://pastebin.com/0Mc78u4S??SICP第2章2.3節2.3.3項にも集合の表現が載っている 分出公理はfilter、置換公理はmapに対応し、{x ∈ U | φ(x)}はU.filter((x) => /* ... */)、{ψ(x) | x ∈ A}は?http://A.map?((x) => /* ... */)に等しい
Read Moreいや、非定数回の総和、総乗は四則演算とは言えなかった
Read Moreアイバーソンの記法の性質を翻訳した?https://ja.m.wikipedia.org/w/index.php?title=%E3%82%A2%E3%82%A4%E3%83%90%E3%83%BC%E3%82%BD%E3%83%B3%E3%81%AE%E8%A8%98%E6%B3%95&oldid=73203830#%E6%80%A7%E8%B3%AA?…?これを使うとn番目の素数p_nはベルトランの仮説によりp_n ? 2^nが成り立つので次のように四則演算と累乗で表せる また、包除原理の式は1 - (1 - A)(1 - B)(1 - C)のような多項式を展開すると得られる ジェガールキン多項式というものも?pic.twitter.com/deqRqQc7vx
Read More完全解析プログラムで得られた金銀歩の9マス将棋の詰将棋 双玉で、余詰、駒余り、無駄駒があるかもしれないという意味で実戦詰将棋でもある?pic.twitter.com/iUuapZVebb
Read Moreスタティックメソッドは static I(n) { // ... } と書くべきだった あと equals(B) { const A = this; return String(A) === String(B); } を忘れた
Read MoreJavaScriptのMathオブジェクトのメソッドをJavaScriptで再実装し、ついでにいろんな関数を付け加えた?https://pastebin.com/hheRi3nA?
Read MoreJavaScriptで有理数を表現した?https://pastebin.com/TJRQVvn9??SICP第2章2.1節2.1.1項にも有理数の表現が載っている このプログラムによるとMath.PI === 884279719003555/281474976710656らしい
Read MoreJavaScriptで複素数を表現した?https://pastebin.com/76Dsc4mv??SICP第2章2.4節2.4.1項にあるように直交形式と極形式を使い分けた 複素初等関数の実部、虚部、絶対値、偏角がどのように表されるか気になる
Read More
プロフィール
金野裕希
ＦＣ２ブログへようこそ！