型付けは難しい
ベン・フィードラーのブログより。 型検査と型推論 型検査とは、あるプログラミング言語で与えられたプログラムを実行し、すべての変数や式が正しい型を持っているかどうかを調べるプロセスです。例えば、文字列は文字列に代入され、算術式は数値のみを使用するなどです。一部の言語では型推論を提供しており、コンパイラに自分で正しい型を見つけるタスクも提供します。言語の特徴に応じて、型検査と型推論の問題は、些細なものから決定不能なものまで様々です。 一般的な用語 完全性 正しく入力されたプログラムを全てチェックできれば、タイプチェッカーは完了です。 健全性 正しく型付けされたプログラムのみを受け付けるものであれば、型検査は健全です。 決定可能性 任意の入力に対して、その入力が問題を満足するかどうかを有限時間で計算できる場合、決定問題は決定可能です。決定可能な問題の例としては、素数判定や充足可能性などがあります
オッパイは尻の代替品という解像度の低い説 - 本しゃぶり
書いたな、俺の前で、おっぱいの話を。 この話題に関して語りたいことはあるが、ブコメはそれを書くには狭すぎる。 / “サルは乳房に興味ないってことは、おっぱいにエッチさを見出した特殊性癖のパイオニアがどこかにいたってことだよな - Togetter” https://t.co/D1kbNEv4P0— 骨しゃぶり (@honeshabri) February 16, 2021 ヒトの視点でサルを語る人 こんなまとめを読んだ。 サルのオスは豊満な乳房に性的魅力を感じない。だからヒトのオスが乳房に性的魅力を感じるのは、進化の過程で特殊性癖の個体が誕生したのではないか。 これが発端となったツイートである。これ自体は素朴な疑問なので、そこまで気にならない。俺が気になるのはその後に出てくる「尻の代替説」である。曰く、ヒトの乳房が大きく丸みを帯びているのは、尻を模したためであるという。 この有名な仮説は、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
