/ 最近 .rdf 追記 編集 設定 本棚

脳log[20180422]



2018年04月22日 (日) ビット演算クイズを解いた時の話 - 兼雑記」■意味がわからずめまいがしてくるような記号の羅列と操作とその変形なんだけど、だからこそこれ機械がやってしまえるんじゃないかと期待してしまう、そういう時代の雰囲気がありませんか。証明まではできなくても与えられた入力の範囲では正しいかほぼ正しい答えを返すならどう? むしろそっちの方が難しい?■単純に結論が見事だから、ずるしてたどり着く方法があると期待してしまうのだろうか。■ともあれ着眼点と手法はものにしたいところ。