Dependent Types と Refinement Types の違い - SevenColoured
自分の tweets.zip をみてたら発掘された文章. Dependent Types (依存型) と Refinement Types (篩型) は目指すところは似ているが, 導入スタイルに根本的な違いがある. TL;DR Refinement types は (Curry-style typing のように) extrinsic で, Dependent types は (Church-style typing のように) intrinsic である. 前提 一般に, プログラム言語への型の導入スタイルには Curry-style と Church-style の2種類がある. Curry-style: 型付けは 既に存在する項を 分類するもの Church-style: 項が存在するとは 型付けされているということ 前者は動的型付き言語での型アノテーションなどが当てはまり, 型アノ
【独自】ゴーン被告、拘束警戒の日々…「日本が私を狙っている」（読売新聞オンライン） - Yahoo!ニュース
会社法違反などで起訴された日産自動車前会長カルロス・ゴーン被告（６６）が保釈中に中東レバノンに向けて逃亡してから２９日で１年となった。現地を訪ねると、身柄拘束を恐れ、警戒を続けながら「逃亡生活」を送る被告の姿が浮かび上がる。（ベイルート 上地洋実） 【動画】第46回東京モーターショー会場訪問…日産自動車 その邸宅はひっそりとし、窓越しにも人の動きはうかがえない。今月２３日、ベイルート中心部にある高級住宅街の一角。ゴーン被告は逃亡後、日産側の資金約１６００万ドル（約１７億円）が購入・改築費に充てられた邸宅を拠点に暮らす。 駐車場の扉の奥には警備員の姿が確認できる。ゴーン被告と毎月会うという実業家の知人によると、被告は２４時間体制で身辺警護を受ける。外出時は警護人が事前に下見し、入念に安全を確認しているという。 ゴーン被告は昨年１２月２９日深夜、関西空港からプライベートジェットで不法出国した。
オピニオン：コロナ禍の医療逼迫、医療との関わり見直す好機＝中村仁一氏
１２月２９日、新型コロナウィルスの感染が拡大し、医療逼迫が叫ばれている現在、日本人が一番苦手とする治療の「優先順位」を考えなくてはならない時期が到来していると考えられる、と京都市伏見区の社会福祉法人「同和園」付属診療所・前所長の中村仁一医師は言う。写真は横浜市旭区の聖マリアンナ医科大学横浜市西部病院、６月撮影（２０２０年 ロイター/Kim Kyung-Hoon） ［東京 ２９日］ - 新型コロナウィルスの感染が拡大し、医療逼迫が叫ばれている現在、日本人が一番苦手とする治療の「優先順位」を考えなくてはならない時期が到来していると考えられる、と京都市伏見区の社会福祉法人「同和園」付属診療所・前所長の中村仁一医師は言う。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
