『形式意味論入門』を Haskell に書き下す (前編) - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me 一昨年のゴールデンウィークに池袋のジュンク堂を訪れた際，『形式意味論入門』という表題の本に目が止まり，数学や論理学を用いて自然言語表現の意味を形式的に考察する学問分野があることを知った*1．また，その道具立てとして単純型付きラムダ計算が用いられていることが，なおのこと私の興味を惹いた．ラムダ計算といえば，読者の多くが計算機科学分野での応用を思い浮かべると思うが，Richard Montague*2 が自然言語分野に応用して以来，そちらの方面でも道具立てとして用いられているようである． 形式意味論入門 (開拓社叢書) 作者:拓郎, 田中開拓社Amazon この本は，Irene Heim と Angelika Kratzer による Semantics in Generative Grammar (以下 Heim and
あうんとは
あうんの働き方 2024年5月10日5/15~5/26 ポップアップのお知らせ 2024年4月18日4/27 ナイトマーケットのお知らせ 2024年4月12日2024年 ゴールデンウイーク期間のお休みについて 2024年4月4日4/6（土）どっこい食堂おやすみのお知らせ 2024年3月23日3/23 ナイトマーケットのお知らせ 2024年2月17日2/24 ナイトマーケットのお知らせ 2024年1月17日1/27 ナイトマーケットのお知らせ 2023年12月16日12/23 ナイトマーケットのお知らせ 2023年11月30日年末年始のお休みについて 2023年11月21日2023年11月25日（土）企業組合あうん臨時休業のお知らせ 2023年11月15日ひと・もの・くらし あらかわ再発見2023 開催決定！ 2023年11月1日11/11 ナイトマーケットのお知らせ 2023年10月14日
『荒野行動』で12歳男児と強制性交、逮捕されたシンママ “ショタコン治療” へ | 週刊女性PRIME
「高松地裁に出廷した被告はショートカットの黒髪、ほとんどスッピンなのに美人。普通にしていれば、いい男がいくらでも寄ってくるだろうし、幸せになれるのにと思った」 と証言するのは、大手新聞の地方記者だ。 2019年1月、香川県警高松西署は、同県高松市に住むパート従業員・長尾里佳被告（23）を、福岡県から呼び寄せた小学6年の男児（当時12）と自宅で強制性交した疑いで逮捕した。 大人になったら結婚する 被告は当時、5歳の長女と3歳の長男を持つシングルマザー。長女は被告が高校生のときに3歳年下の男性との間にできた子どもで、高校を中退して親元を離れ、県営住宅で暮らしていた。 被告の裁判は3月から始まり、冒頭は6月5日の第3回公判で被告人尋問があったときの心象である。 しかし、犯行はとんでもない内容だった。 「昨年、スマホのサバイバルゲーム『荒野行動』で知り合った2人ですが、まず被告が男児の住む福岡を訪
◎特集「北海道キリスト教史 概論」 - のりさん牧師のブログ
１．キリスト教の伝来 北海道にキリスト教が伝えられたのは、プロテスタントが1874年、カトリックが1618年である。世界のキリスト教史から見れば大変短い。この短い歩みの中にも豊かな歴史的遺産が残され、今も生き続けている。 ２．アイヌへの侮辱と支配 政治的には、16世紀後半に松前藩の封建的支配が確立し、アイヌ民族への苛酷な侮辱政策がとられていた。1620年前後に松前に来た切支丹宣教師は胸を痛めてそれを見ていたという。何度かアイヌの抵抗運動が各地で起こり、その中で最も大きな抵抗運動は1457年のコシャマインの役と、1669年のシャクシャインの役であった。それが皮肉にも、前者が反対に松前藩形成の端緒となり、後者はアイヌ民族への支配権を確立することになってしまったことである。 ３．徳川幕府から明治維新へ 1854年に日米和親条約により箱館開港となり、ハリストス正教会の伝道や、カトリック教会の再布教
日本女性の社会進出を妨げているのは男尊女卑の呪いではなく、育児を自分でしたいという欲望
男女平等を目指した度重なるインタビューの結果として、目下最大の障壁が「母として最大限子供とかかわりたい」という欲求にほとんど無自覚に引き込まれてしまう人が多数派だからでは？というのは感じています。 えとみほ @etomiho めちゃめちゃ鋭い指摘！20代では男性とほぼ差がない女性正社員の平均年収が30代以降で大きく男性を下回るようになるのは、この「年収アップのゴールデンタイム」を出産と育児に費やさないといけない人が多数派だからだと思います。 twitter.com/meer_see00/sta… 2019-08-14 12:50:41 ほい@3児のベンチャー法務 @meer_see00 25〜37歳は本業に集中して年収あげる、がやるべきことなのはめっちゃ分かったうえで、この年齢が妊娠出産の適齢期とどんかぶりしてるから「どうしたら…？」てなる。 両立できるのは、それこそスーパーマンなのではと
「秋葉事件や大阪・附属池田小学校事件はすごかった。俺もやる」青葉容疑者が刑務所で語った"本当の動機" | AERA dot. (アエラドット)
献花が絶えない京都アニメーションの事件現場（撮影・今西憲之） 35人が死亡、35人が重軽傷を負った京都アニメーション放火殺人事件は、18日で発生から1カ月を迎える。お盆も炎天下の中、献花台を訪れる人の列は絶えず、現場となった第1スタジオは悲しみに包まれている。 【写真】青葉真司容疑者 8月8日には青葉容疑者に対し、殺人と住建造物放火等の容疑に加え、重軽傷を負った35人への殺人未遂容疑も追加された逮捕状が出た。だが、青葉容疑者は今も病院で治療を受けている。 「重篤な状況ではあるが、呼びかけにも反応があるので、落ち着きつつある。だが、とても話を聞けるような回復状況ではない。事情聴取は、あと数カ月、かかりそうだ」（捜査関係者） そんな状況ゆえ、青葉容疑者がなぜ、あそこまでの犯行に及んだのか、いまも動機はわからない。本誌は青葉容疑者の凶行の動機を解く“鍵”を握る人物に取材することができた。 「青葉
N国に投票したが取り消したい。恥ずかしい。ごめんなさい。 - メロンダウト
先月の参院選でN国に投票しました。 投票した理由についてはこちら plagmaticjam.hatenablog.com それからN国界隈をウォッチしているのだけど、日を追うごとに投票した自分が恥ずかしくなってきた。何を考えてN国なんかに投票したんだ自分は。 実は立花氏のことは６年ぐらい前から存在を知っていた。僕はこのブログを書き始める前、パチスロブログを書いていた。今みたいな抽象的なことではなくもっと日記に近い形式で書いていてその時に他のパチスロブログなども見ていた。そんな折にパチンコ界隈で有名だったパチプロ清志という人物を知ることになる。 ググればすぐに出てくるがいわゆる情報商材屋でパチンコ塾なるものを開催していた。今でいうオンラインサロンにあたるがそれについて僕は当時のブログで批判的な記事を書いていた。会費が３０万とか馬鹿げていてまあほとんど詐欺に近い形だったわけだ。 清志はその後、
ピザ配達人爆死事件 - Wikipedia
ピザ配達人爆死事件（ピザはいたつにんばくしじけん）は、2003年8月28日にアメリカ合衆国ペンシルベニア州のエリーで、ピザ配達員のブライアン・ウェルズが、銀行強盗を行った直後に首に装着された時限爆弾で殺害された事件。 事件の捜査はFBIの主導で実施され、アルコール・タバコ・火器及び爆発物取締局とペンシルベニア州警察の協力を受けた。この事件は、「FBI史上でも有数の、極めて複雑怪奇な犯罪の1つ」と評されている[1]。 捜査班は、ウェルズは銀行強盗を共謀した中の1人であったが、他の共犯者からの裏切りに遭って死亡したと結論づけた。ウェルズの共犯者とされるマージョリー・ディール＝アームストロングとケネス・バーンズは、武装銀行強盗およびその共謀などについて起訴された。バーンズは2008年に45年の懲役刑を宣告された。2年後の2011年、別の殺人事件ですでに服役中だったディール＝アームストロングに終身
スローライフが、むしろ資本主義を「加速」させるという皮肉な現実（河南 瑠莉） @gendai_biz
資本主義をスローダウンさせる思想 近年「加速主義」という考え方が注目を集めている——それは、人工知能や自動化といった技術発展を加速させ、テクノ資本主義を際限なく推し進めた先に、現存する民主主義とは異なる新たな秩序の獲得を試みる「ダーク」な思想として紹介されることが多い。 SFじみた突飛な思想に聞こえるかもしれないが、世界に目を向ければ、同様の考え方に基づいて政策を打ち上げる政治家や加速主義的な可能性に言及する科学者などは、少なくない。 こうした一見「危うい」思想を目の当たりにして、それに対する反動のように、より人道的だと想像される「減速」を掲げたムーヴメントが流行するのは、ごく自然な流れだろう。スローフードにスローライフ、エコでオーガニックな田舎暮らしや、地域アート・地産地消などに代表されるローカリズム運動……こうした動きは、地球上のいたるところに散見される。 こうした「減速」の思想は、一
あいちトリエンナーレ2019「表現の不自由展・その後」に関するお詫びと報告
【2019年8月16日追記】 昨日公表した「あいちトリエンナーレ2019『表現の不自由展・その後』に関するお詫びと報告」の中で、「1つは、自分を批判する人を見つけたら『コロス』リストに入れると言った発言についてです。これは、アンガーコントロールの一環として、怒りを覚えた相手について、『コロス』リストに入れることで、その人に対する怒りを静めようとしたものであり、公開する気もなければ、もちろん、実行する気もありませんでした。特定の人に対する怒りを静めるために、怒りを覚えた相手を記録することで怒りを静めるやり方は、XXX協会や、XXXで推奨されている方法です。」と記載したところ、その協会が「コロスリスト」を推奨していると誤読した方々からたくさんの問い合わせや抗議が来ていてとても迷惑しているとの苦情をXXX協会から受けるに至りました。本日電話で対応に当たられた皆様には、この場を借りてお詫びいたしま
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
家事分担について「妻→責任者・夫→ヒラ社員」の位置から「夫→役員」という認識にして分担方法を工夫したらうまくいったという話