TEFで盛り上がってる件、「類似」と「等価」でググってるとけっこう楽しそうなのが引っかかってくる。/ 「類似度を考慮した等価論理を用いたハードウェアの高位設計検証手法の研究」 http://t.co/HXNjynbY6M

こういう研究がしたかったです。 - 「ブラジャー着用時と非着用時の運動中の乳房振動特性」 http://ci.nii.ac.jp/naid/110003166950/ (via @ryohana)

こそーり https://t.co/V4HZ9ZZios

この研究は気になるな。// "ソフトウェア内の潜在フォールト数（プログラムの論理的誤りの個数）を推定する方法について，古典的手法である多変量解析などを，推定精度において凌駕する方法を２種類開発" http://t.co/swMP0hqkhb