タグ

2018年3月8日のブックマーク (4件)

  • 日本では70歳を越えても肉体労働か、ホームレスか、刑務所行きか | 「超高齢化社会」で歳を取るということ

    加速化する日の少子高齢化。年金は当てにならず、70歳を過ぎても深夜労働を余儀なくされる。生活難から自ら命を絶ち孤独死する道を選ぶ人もいれば、わざと軽犯罪を犯して刑務所に入ろうとする人も──。日の高齢化社会に未来はあるのか、スペインから記者が取材を重ねた。 リタイアできるのは恵まれた少数派 健康状態は決して良くないにもかかわらず、サトウレイコはつかつかと北海道夕張市の閑散とした道路を横切って出勤する。冬の冷気が骨にまで染みる。 彼女に選択肢はない。サトウの夫はすでに亡くなっており、月730ユーロ(約8万5000円)ほどのわずかな収入で生活をやりくりしている。たとえ80歳を目前に控えていても、生き延びるためには仕事を続ける必要がある。 夕張市は人口9000人ほどの小さな都市だ。かつては「石炭の首都」として栄えていた。ところが、いまでは日国内で「最も年寄りの多い街」へと変貌した。2人に1人

    日本では70歳を越えても肉体労働か、ホームレスか、刑務所行きか | 「超高齢化社会」で歳を取るということ
  • Specification for a Functional Reactive Programming language

    I'm glad you're starting by asking about a specification rather than implementation first. There are a lot of ideas floating around about what FRP is. From the very start in the early 90's (when I was working in interactive graphics at Sun Microsystems and then Microsoft Research), it has been about two properties (a) denotative and (b) temporally continuous. Many folks drop both of these properti

    Specification for a Functional Reactive Programming language
  • FRPクライシス - モナドとわたしとコモナド

    FRP(Functional Reactive Programming)は、リアクティブプログラミングと関数型プログラミングの性質を持つプログラミングパラダイムである。FRPは古典的FRPと矢矧のFRPに大別される。 古典的FRP 古典的(Classical)FRPは、非連続的な値の列Eventと、常に何らかの値を取るBehaviourの二種類の構造を導入したものである。 代表的な実装としてreactive-banana、euphoria、reflexなどが挙げられる。 Haskellにおいては、EventはIOを通じて非同期的に生成できる設計が多い。Eventはマップやフィルタリングができ、モノイドとして合成することもできる。なお、GenはFRPの構造を扱うのに要求されるモナドで、実装の都合上しばしば必要となる。Behaviourは現在の値を取り出せる他、HaskellならApplica

    FRPクライシス - モナドとわたしとコモナド
  • 歪エルミート行列 - Wikipedia

    歪エルミート行列(わいえるみーとぎょうれつ、英語: Skew-Hermitian matrix)あるいは反エルミート行列(はんえるみーとぎょうれつ、英語: Anti-Hermitian matrix)とは、自身のエルミート共役(=随伴)が自身に負号をつけたものに等しいような複素正方行列のことである。つまり、n 次正方行列 A に対し、そのエルミート共役を A* で表すとき、A が歪エルミートならば、以下の条件を満たす。 行列 A の成分をあらわに書けば、これは次のようにも表せる。 n 次歪エルミート行列の集合はリー代数をなし、 と表される。 歪エルミート行列と似た定義を持つ行列として、エルミート行列がある。エルミート行列は自身と自身のエルミート共役が等しい。 歪エルミート行列はエルミート行列と同じく、正規行列の特別な場合であり、−1 をユニタリ行列 U と見なせば、以下の正規行列の定義を満