どう救う 戸籍のない子どもたち 2月20日 16時45分 自分は何者なのか、その存在すら証明できない。 出生届が出されず戸籍がないまま暮らしている「無戸籍」の人が全国に少なくとも５３３人いることが国の実態調査で明らかになりました。 銀行でも、そしてＤＶＤを借りるときでも本人であることの確認を求められる時代。 無戸籍の人たちは自分が何者かを証明する手だてが一切なく、住む場所や仕事も限られ、医療などの行政サービスから取り残されがちになるなどさまざまな不利益を被っています。 どうすれば無戸籍の人を救済できるのか。 社会部の上田真理子記者が解説します。 “存在を認めて” 当事者の叫び 関東地方に住むアキさんに（仮名・３２歳）私たちが出会ったのは去年の秋でした。 もの静かで礼儀正しいごく普通の女性というのが第一印象でした。 「私には戸籍がありません」。 自分の置かれた境遇を淡々と語り始
Haskellでの合成可能なオブジェクトの構成とその応用 木下郁章, 山本和彦, 2015 Haskellで状態を管理する際は、 一般的に代数データ型や型クラスが用いられるが、 データが拡張できないか、動的な性質を持たない。 そのためHaskellは、 複雑な状態を扱う問題領域には適していないと考えられてきた。 一方で、一般的なオブジェクト指向言語では、 オブジェクトを提供することでこの問題領域で成功を収めている。 本論文では、Haskellの言語仕様を変更することなしに、 オブジェクト指向言語から着想を得たオブジェクトを実現する。 本論文で提案するオブジェクトは圏を構成し、合成を用いて継承を表現できる。 また、終了する運命にあるオブジェクトやストリーミングなどに応用でき、 複雑な状態を扱うゲームの実装にも使われている。 論文をダウンロード(PDF) PPL 2015 発表スライド ここに
昔読んだこんな話を、読み返す機会があって。 『ユリイカ 詩と批評』（青土社）2009年4月号の「総特集・ＲＰＧの冒険」より。 （特集のなかの「鼎談・われらの道（ＲＰＧ）はどこにある」の一部です。鼎談の参加者はブルボン小林さん、飯田和敏さん、米光一成さん） 米光一成：物語とかを提示してみせるのではなく場としての世界を提出すること、つまり、今のゲームが何でもできるようなある種の「世界」を作るっていう方向に行っているのは、やっぱりゲームならではの語り口なのかもね。 ブルボン小林：それで思い出したけど、知り合いのデザイナー……というか、『ユリイカ』の表紙を装丁している名久井さんだけど、彼女が『タクティクスオウガ』を最近また買って遊んでるらしいんだけど、あれってシナリオが「ロウ(law)」「カオス(chaos)」「ニュートラル(neutral)」って大きく三つに分岐していくんだって。名久井さんは以前
日本では「死因のウソ」がまかり通っている！？ずさんな死因究明制度が引き起こす、知られざる社会問題とは。話題の本『死体は今日も泣いている』著者・法医学者の岩瀬博太郎氏にお話を伺った。（聞き手・構成／山本菜々子） ――本書を読んで、とても驚きました。現代の日本に生きていたら、異状死した場合、解剖されて死因を調べてくれるものだと思い込んでいたので。 皆さんそう思っているようですが、日本で解剖され死因が調べられることはまれです。外国では異状死の解剖率が9割近い国もありますが、日本は約1割です。 ――非常に少ないですね。異状死した場合、どうやって死因が決められるんですか。 大抵の先進国では、死因が分からない場合、解剖して死因を特定しなければ犯罪性があるか判断できないので、司法解剖を実施します。ですが、日本は特殊で、解剖する前の段階、つまり警察による検視の段階で、犯罪性の有無を判断してしまい、犯罪性の
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
