disjunction

先日、Python での ２つのリストに存在する要素を抽出したリストを求める - Oboe吹きプログラマの黙示録 を書いたので、 Java の方を整理して書き留めておく。 Java では、List と Set を意識して使いたいので、求める結果は Streamになるメソッドを 用意するのが明示的で使いやすいであろう。 Apache Commons – Apache Commons の CollectionUtils を使えば済むことではあるが、 外部ライブラリに頼りたくない場合以下のように整理したメソッドを用意すると便利である。サンプルの List List<Integer> l1 = Lis…

カリー／ハワード／ランベック対応については、このブログ内で何度も言及しています。 このブログ内 ハワード の検索結果 論理／型理論／圏論の三者のあいだに、精密で綺麗な対応があります -- それがカリー／ハワード／ランベック対応です。カリー／ハワード／ランベック対応はとても重要な概念だし、実用的な意義もあります。しかしながら、この綺麗な対応がなかなか伝わらないようです。対応が見えにくくなっている大きな原因は、構造が綺麗に対応していても、言葉や記号は対応してないことです。論理／型理論／圏論の三者において、まったく違った呼び名・書き方・言い回しが使われています。言葉や記号が違っていても、単純な翻訳ル…

" data-en-clipboard="true" data-mce-fragment="1"> " data-en-clipboard="true" data-mce-fragment="1">// ----- >>* Initialize Division *<< // [Edit this note] // TimeLine:240811 // NOTE: // ----- >>* Header Division *<< // TITLE: トドは存在からして罪深く悪しく醜くおぞましく邪悪で不健全に逸脱していると日本における人間社会は認識しています。 SUBTITLE: 〜 Repor…

最初に、「ディスる」って聞いた時ね、Discharge・ディスチャージ・退院の 略だと思った。 退院を「ディス」って、略する奴も居たからなあ・・ええい、 紛らわしい！ 変な言葉使いは、ハラスメントに感じる。 Disrespect 「ディスリスペクト」の動詞化 人を軽蔑する、馬鹿にする・けなすという意味 そもそも、ディスって接頭語だろ？ 沢山の言葉に付くんだぞ！dis- 分離 反対の動作「不…」「非…」「無…」 「除く」「はぐ」「奪う」 の意味 一番最初に「ディスる」って聞いた時には、退院じゃなければ、反対する？分離する？否定する？の意味かとも思った。まあ、否定するなら同じような意味か・・・・ …