読者です 読者をやめる 読者になる 読者になる

半順序?弱順序?二項関係・順序関係まとめ

12/27更新: 図に文言を追加しました。 半対称律?半順序?なにそれおいしいの? Wikipediaを見てもよくわからない 半順序と弱順序を間違えて恥かいた という方のために(?)、二項関係、順序関係についてまとめました。 特に、厳密な定義を意識せずに普段から二項…

無限長の配列はソート可能か?

皆さんご存知の通り、有限サイズの任意の配列は、有限回の比較と交換でソートすることができます。 (挿入ソートやクイックソートなどの具体的なアルゴリズムが存在することが、その証明になっています) では、配列が無限の長さを持っていた場合はどうなるで…

日立のレンズレスカメラの原理を考察してみた

日立のレンズレスカメラ つい先日、日立がレンズが不要な新しい原理のカメラを発表しました。 ニュースリリース:2016年11月15日:日立 従来型のカメラは、レンズの焦点距離の存在により、薄型化に原理的な限界があるのに対し、 新しい原理を用いることで、…

(また)ブログ始めてみました

前にTumblr やってみたときは続かなかったですが、 やはり考えたことや調べたことを備忘録的に発信できる場があると何かと便利なので、はてブロに書いて行こうと思います。 内容は、主に 物理、数学、計算機科学に関する小ネタ 新しい技術に関する考察や解説…