  |
はてなキーワード: 立脚とは
もちろん完全な識別はできない．当たり前だ．話を逸らすな．私が指摘しているのはそんなことじゃない．
君は文脈を読む力がない．違うか？例え個体識別ができなくても，文脈は読めるだろう．そして私はその文脈の解釈を示した．もちろん増田だから個体識別に100%などないから推論込みだが，その推論は文脈に立脚しているから根拠0%というわけでもない．
しかるに君は私のその解釈について疑義を呈した．ここまでは君が認めるところだね？しかし君は私の解釈がどのようにおかしいかは全くその根拠を示さない．違うか？あるというのなら示してみなさい．屏風の中にいつまでも虎を閉じ込めておく道理もあるまい，こちらは先ほどの書き込みから，"文脈に根拠づけられた"推測を明らかにしている．
悪いことをさばくという点においては国に委ねないと仕方ないというのはあるやもしれん。そのためには法律の整備が必要である。
例として債権回収は昔は法律が整備されてなかったから、借金を返せないとなったら、暴力団に幾分割り引いた債権を売り払って暴力団がその元暴力的に取り立てていた。だけどいまは債権回収法ができて、暴力団の徹底排除がされている。
性産業は「意にそぐわない形での売春」があるから売春は非合法にされている。ただし儲かるものだから暴力団が裏で糸を引いているし、儲かるなら体を売ることに躊躇がない女もいるから抜け穴抜け穴が存在する。
かりに合法になるにしても女性の意思に立脚しないとならないが、それも移ろうもの。でもどうやって立脚した形にできるかではある。
良分析。
風俗嬢、刺身 ともに理詰めで考えると、＜サービスを生み出す主体＞が不幸になる ということであるという指摘に同意したとする。
勉強不足、考え足らずのダブルスタンダードと非難するのは仕方がない、といえる。
一方、そもそも 社会の全構成員が全ての情報を知っているうえで判断する、という視点に立脚するのではなく、
限定的な知識で行動することがある、という視点に立ったとすると、
その場合、刺身のようにポジティブな評価になるか、風俗嬢のようにネガティブな評価になるのか、それは
カツオの刺身と風俗嬢の間には、行動経済学のバイアスに相当するものがある、ということか。
心理学の立場から（カーネマンは経済学者ではない、認知心理学者である）個人の心理まで分析して経済を分析する手法が現れたのは必然である。このような個人の経済人を「ヒューマン」と呼んでいる。「ヒューマン」は、合理的経済行動をとる「エコン」に比べて、不合理ともとれる行動をしばしばとる。それはバイアス（認知的錯覚）からくるものである。
証拠隠滅、改ざん、プロセスの不透明化、統計の軽視。これだけでもはや支持する理由が全くなくなる。どんないいこと言ってても、それは嘘の上に成り立ってるかもしれないんだぞ？なんで支持できるんだ？気持ちいいこと言ってくれれば喜んで詐欺師に金を渡して満足するタイプか？
そして、過去の証拠もなく、データも改ざんされてしまえば、未来のもっと頭の良い人たちがよりよい未来を判断することもできなくなるんだぞ？
今たまたまいい政策ができたとして、それは偶然の産物にしかすぎなくなってしまう。人類が意図を持って文明を進歩させられるのは、一重に過去の知識の蓄積があるからだ。
それがなければ、猿がキーボードを叩いてシェイクスピアの作品を書き上げるのを待っているのとなんら状況的に変わらない。今一時の気持ちよさのために日本の未来を捨てる気か？よく考えてくれ。
そして、証拠もなければプロセスも不透明な民主主義なんてのはもはや民主主義ではない。嘘に立脚した儲け話が詐欺であるのと同じように、嘘に立脚した民主主義なんてものはない。嘘で票を集め、嘘の成果をだす。決定に至るプロセスは見えない。そこに君と、民衆の思いが、どれだけ反映されているかをはかる術はあるのか？国民が主権を持つためには、誰もが政治を検証できるようでなければならない。
もし君が政治を検証しようと思った時、できないとしたら、それはもはや民主主義ではない。君が検証した上で投票にいけないとしたら、隣の家も同じだろうよ。
いいか、支持者だろうとなんだろうと、君は一国民としてその政党から馬鹿にされてるんだぞ？嘘でも気持ちいいこといっとけば、いいって思われてるんだぞ？どうせ民主主義のことなんて頭にないし、雰囲気で投票してんだろって。
頼むからよく考えてくれ。
逆にいえば、証拠を保全し、統計を重視し、透明なプロセスで政治をやってくれるとこならどこだっていいレベルになってるんだ今は。仮に彼らがクソみたいな政策を今したって、証拠もプロセスも残ってれば、未来の頭いい奴がやり直せるんだよ。けれど、証拠もプロセスも信じるに値するものが残っていなければ、俺たちは猿に逆戻りして、また一からやみくもにキーボードをタイプするしかなくなってしまうんだよ。
そこで証拠を保全し、プロセスを透明に保つ国が周りにあったらどうなる？差は広がるばかりだぞ。そちらはたとえ失敗したとしても、そこから学び前に進める。しかし過去のデータも意思決定の根拠もわからない国では、また一から暗闇の中を手探りだ！知識の積み重ねなんておきない。それがずっと続いたらどうなる？考えてみてくれよ。
なあ、頼むよ。考えてくれよ。
そして俺も、それが君を幸せにするならば、君の支持する政党を一緒に支持したい。けれど、君に見えている事実が本当かどうか調べる術が俺にはない以上、君に見えている事実が事実だとわかるようにしてくれとまず叫ぶしかないんだよ。
勿論学校に依るだろうけれど、少なくともうちでは教室の数も教員の数も物理的に足りない。
それから話は変わるが、今回の案件は『罪を憎んで人を憎まず』ならぬ、「政策」と「首相」を分離できていない人が多い気がする。
つまり「一斉休校そのもの」を肯定・批判している人と「首相そのもの」を肯定・批判している人がごっちゃに語っているから、
両者の肯定・否定を組み合わせた4パターンを白黒2パターンの枠に単純化して語ろうとするから、おかしな話になる。
まぁ、首相憎けりゃ政策まで憎い（orその逆）もまた人間らしくて、それはそれで魅力的なのだけれども。
更に付け加えるならば、科学的に正しいのか否かもこんがらがっているケースが多い。
PCR検査に関しては「軽症の人も含め、希望者全員を検査しろ！」「正確な患者数を把握しろ！」などとPCR検査の精度を無視した非科学的なことを言っているのに、
同じ口でこと休校に至っては「根拠がない！非科学的だ！」と急に科学サイドに立脚したりする（その逆の組み合わせの場合もまた然り）
即ち、根本は自身の不安や都合などによる結論ありきで、その肉付けとして詳しく知らない科学を語っている人が多い。
総じて、今回の騒動は割と良いリトマス試験紙になっていると思うよ。
その人の主張が一貫しているのか、
単純に首相が好きor嫌いなだけでポジショントークをしようとする人なのか、
誰に選ばれた代表でもないですけど社会を構成する一個人として、コロナ騒動に関する所感を表明します。
なぜなら、今、生活・人生・命が脅かされているからです。私たち一人ひとりに関わることであり、右とか左とか、性別は関係ありません。
情けないことに私には医療の知識がないので科学的なことについては語れませんが、理不尽に対しては人一倍敏感なので、思うところを述べます。
①予防する上で、対応が後手後手であった事
大きく括るとこの3つです。
皆なんだかんだ勉強したり働かないと生活が前に進まないから、怖いなと思いつつマスクをして学校行ったり会社行ったりまだしてますけど、それどころじゃなくなることもあり得る。
そこまで事態がまだ悪化してないだけなのでは？ あるいはもうそうなりつつあるのに見えていないだけの可能性もある。
もしそこまで大げさな話じゃないって言うのであれば、根拠をきちんと納得できるように説明してほしいんですよ。
都市を完全に封鎖するって、オオゴトだと思うんですよ、内戦下のサラエボレベル。
中国のデトロイトって言われるような工業都市、経済的に大事なエリアを何が何でも封鎖するって事は、あの中国共産党がそれだけ危機感を持たざるを得ない状況になったってことですよね。
それを受けてその時点で中国からの渡航者を入国拒否した国は結構あった。そこで日本政府は二の足を踏んで、断固たる措置を取らなかった。チャンスはあったはず。
確かに中国は日本との経済的結びつきが強い、メーカーも物流も観光も中国抜きでは考えられない部分がございます。それでも考えを変えないと。
歯止めをかけないで、水際対策も何もないですよね。
検査をすべき人にしないまま帰らせる、隔離を一定期間しないまま放出
飛行機の帰国者にしても客船の下船者にしても、お願いベースでご協力を依頼する形、
他の国では国の権限で人権をある程度制限した上でとっている処置がまるで日本では見受けられない。
中途半端に人権を尊重しているふりをして結局公共の福祉を損ねている。
一定期間隔離して安全性を確かめる必要があるのは素人にだってわかる。現に他の国の政府は強行している。
そこで個々人に断られたら機能しないようなら、対策として成り立たない。
ちゃんと頭で考えればわかることが判断できない組織が多すぎる。ルールに自縄自縛になっていませんか。
結局自分の頭で考えて責任を持って決断を下す事から逃げてるんですよ。これは政府だけの問題じゃないと思います。
私が仕事で関わった官公庁の対応を通して得た感想を述べますが、政府の方針に沿ったルールを増やしていくだけで、防疫について何ら根本的な対策を立てない。
そのお触書を下に丸投げして責任を押し付けている。結局どの組織も責任を取りたくないだけで、自らの職務領域で行使できる本質的な対策を考えない。
頭に血が上りすぎて、政治に対する怒りと行政に対する不満がごっちゃになってしまいました。すみません。
本当に現場で命を賭して頑張ってくださっている人には頭が下がるし、みんなそれぞれの立場で板挟みになってるとは思うんですけど。でも現場の頑張りとはまた違う話。
政治に求められている役割っていうのは、法律とか経済とか学術だけでは前に持っていけないことを利害調整して問題解決していくことにあるはずです。
でもそれができてないから、極端に言うと不信感しか残らない、頼れない。
何のために国民が税金を納めて政治を託しているかというと、我々1人1人では対処できないようなことを運営してほしいから。
大いなる力には大いなる責任が伴う。政府には個人ではなしえない権限と責任があるはずで、それが及び腰になっているのは無責任なのでは？
国家は国民の健康で文化的な最低限の生活を守る義務があるはずですよね。それが今脅かされている。最優先で解決すべき問題のはず。
ここまで危機管理・対応ができていない時点で、日本社会にとって国難、未曾有の事態ちゃうんかと。地震とか台風とかそういったものに匹敵する事態。
政府が旗を振って最優先で解決しないといけないし、一方で社会の知見、国際社会と協力して解決に当たるべきだと思うんですよね。
今回のウィルスは人類共通の敵ですから国際的に協力して対応してるわけですが、悪意を持った主体に対してこんな体たらくで対応できるんでしょうか。
このままオリンピックを迎えられるような状態に持ってていけるんですか。
抱え込んで結局出来ませんでしたとなる前に、助けとか協力を求めたほうがいいんじゃないですか。
もっと民間とか学術とかそれぞれの知見や経験を持っているような人々に協力とか仰いで、なりふり構わず問題解決に動かないといけないんじゃないですか。
それぞれ縦割りの組織の論理でなんとかしようとして結局うまくいってないんじゃないですか。
そりゃ利害調整は大変だと思いますけど、何をしないといけないのか客観的に見極められる人材はいるんですか？
もっと方針を明確に打ち出して、指摘をどんどん吸収してブラッシュアップしていかないとまずいんじゃないですか。
果たして適切にマネジメントできてるか素人目でも不安になる。問題を抱え込んで爆死してない？っていう。
国民に対してホウレンソウもできてないしPDCAも回せてるように思えないし、
超絶優秀な人々であることは承知していますが、それでも頼りないです。
しっかりしてほしい。ついていけるだけの方針と根拠を説明してほしい。説明責任を果たしてほしい。
対応が場当たり的で、根拠が不透明、適切な処置がなされているとは思えないようなグダグダした説明。
原発の時も似たような違和感を抱いたのですが、パニックを起こしたくない心理からなのか
国民の危機感を中和させるのに躍起になっているように映る。正常性バイアスを助長したいだけのような印象を受けます。
侮っているのか、内心焦ってるのを隠してるのか、それとも半ば諦めてるのか、政府の発表に危機感を感じない。本質をぼかしたまま声明を出す癖がある。
ミスをミスとして認めず、追求を交わすことに全力を尽くしている。リーダーシップというものをどう捉えているのか？
エラーが起こるのは不可避、想定が甘かったこともあると思う。何かが起きてしまった後にどう動くかで真価が問われます。
失敗を認めてもう一回想定を修正して後動きますって伝えてくれれば、こっちはそれに同意するかどうか別として、状況を把握できるんですよ。
そうしてくれれば国民が疑心暗鬼に襲われず各自で対応をとりやすくなるのに、メッセージを発信しないから皆不安なまま。
ミスや失敗を認めることは、自分の生涯を懸けて守ろうとした国の社会や人々がボロボロになることよりも恐ろしいことなんでしょうか。
であるとすれば、個々人というよりも組織風土や文化に問題があるのかもしれませんね。ちゃんとコミュニケーションとろうとしてますか。
昨年の台風のときは、政治家の対応こそお粗末でしたが、気象庁からの情報提供や指示はタイムリーかつ的確だと感じていました。
なので、命の危機こそ感じても、個人的に不信感は少なかった。皆さんは今回、どうお考えですか。
私は日本死ねとは思わないです。私は生きたい。大切な人たちにも生きてほしい。
これまで希望とか特に持って生きてたわけではなかったけれど、もう一度日々を安心して過ごしたいし、将来を設計できる世の中に戻って欲しい。
今回は、政府に望むことを書き連ねました。次は、社会として我々が何ができるのか考えたいので、皆さんご意見ください。
“そもそも国政は、国民の厳粛な信託によるものであつて、その権威は国民に由来し、その権力は国民の代表者がこれを行使し、その福利は国民がこれを享受する。これは人類普遍の原理であり、この 憲法はかかる原理に基くものである。”<<
“【生存権、国の生存権保障義務】 １ すべて国民は、健康で文化的な最低限度の生活を営む権利を有する。 ２ 国は、すべての生活部面について、社会福祉、社会保障及び公衆衛生の向上及び 増進に努めなければならない。”<<
“政治は国民のもの、即ちその使命と任務は、内に民生を安定せしめ、公共の福祉を増進し、外に自主独立の権威を回復し、平和の諸条件を調整確立するにある。
われらは、この使命と任務に鑑み、ここに民主政治の本義に立脚して、自由民主党を結成し、広く国民大衆とともにその責務を全うせんことを誓う。”
例えば、山の木を切りまくった。大洪水が起きた。山の神が怒ったからだ！山の神を怒らせないようにしよう。木を増やそう。洪水が収まった。山の神が落ち着いてくれた。
今であれば、木の保水能力が落ちたからだというのはわかる。わかったとしても、木を切りまくったら大洪水が起きるのは変わらない。
科学的検証でわかるものが増えてきたから木の保水能力というものに着目するようになった。
だけど、科学的検証は細かく見て分析していくものだから、どうしても大きな物事や人に関わる事象には弱い。
なので、こういうことをしたら罰が当たる。あるいは、よく生きていくためにはこうすればよい、という経験的要素、過去の伝承に立脚する要素がある。なので、宗教由来の知識が生きる側面がある。
その過去の伝承がどうか？というのも、測定方法の進展や、統計手法、何よりも金をかけての調査で少しづつ広がってはいる。けども、人が断定できない部分はまだまだ広い。
フェミニズムの視点では「胸の大きい女性を転職情報のＰＲに起用する」のはまずいようだ。
https://b.hatena.ne.jp/entry/s/twitter.com/yomogidango0909/status/1218363032004329478
上記のような意見を「本当のフェミニズムじゃない」と感じるとしたら、それは間違いである。
それどころか、現在の日本のフェミニズムの主流やアカデミズムの主張から必然的に導かれる結論である。
このような意見はいわゆる「性的モノ化」（あるいは性的客体化、対象化）の議論に立脚している。
フェミニズムを専門とする社会学者小宮友根と、宇崎ちゃん問題の時にイラスト付きで不適切さを分かりやすく解説していたふくろさんによる以下の記事を読んでみよう。
https://gendai.ismedia.jp/articles/-/68864
性的な女性表象の持つ差別性は、フェミニズムの中では「性的客体化（sexual objectification：対象化やモノ化と訳されることも）」の悪さという観点から議論されてきました。
（中略）
たとえばポルノグラフィ批判で有名なキャサリン・マッキノンとアンドレア・ドウォーキンが繰り返し主張していたのは、ポルノは「わいせつ（性欲を刺激するもの）」だから悪いのではない、ということでした。マッキノンたちのポルノグラフィの定義には、女性が「人間性を奪われ」「辱めや苦痛を快楽とし」「性暴力によって快感をおぼえ」「特定の身体部部位に還元される」ような「性的な客体として提示されている」という項目が含まれています。要するに、女性を「性的な客体」として提示することが悪いと考えられているのです。
最初のツイートでの「女性や性的記号を利用してPRする」ことへの批判は、上記のように、女性を性的記号に還元するような悪さへの指摘として正当化できる。
なお、上記引用にもある通り「エロいから悪い」「胸が大きいから悪い」のではない、あくまでそれが表現の中で強調されるなどして、記号として利用されることがまずいのだ。
このように（ブコメでは散々な言われようだが）ツイートの批判は、実はフェミニズムとして至って正気の批判である。
ところが、そこにまずさがある。
フェミニズムがこのような批判を正気にし得るということは、フェミニズムは、時と場合によっては（件のＰＲのような）本人の意思に基づいた女性の行動や社会活動をも批判し得る、ということだ。
ここで一足飛びにフェミニズム批判に走ってはいけない、まずはそのような主張がどのようにして正当化されるのかを考えるべきだろう。
例えば仮に、件のＰＲの立案者からカメラマンからモデルに至るまで、すべて女性がやっていたとしても、フェミニズムはそれを批判する必要がある。
女性もミソジニーを持ちうるし、性的記号の不正利用も行える、レズビアンの場合を考えれば女性を性的に欲望し消費するケースもあることも分かるだろう。もちろん男性との共犯関係もあり得る。
行為者が女性であることで（男女の非対称性から）悪さを軽減することはできるかもしれないが、免除することはできない。
ここで問題になるのは主に以下の２つ。
１．女性イラストレーターや女性漫画家のような表現者が女性をモノ化して表象する場合の扱い
２．キャンペーンガールやグラビアアイドル、ＡＶ女優、風俗嬢等が、自身の身体を「性的な客体」に還元する場合の扱い
件のＰＲは２に該当する訳だが、その悪さはともに「性的モノ化」によって説明できる。
つまり表現であれ自分の身体であれ、女性を性的にモノ化、客体化することが悪いのだ。（※１）
ここで「１はともかく２は自分の身体、自分の意志でやってるんだからいいじゃないか」「被害者はいないじゃないか」と反論するならそれは間違いである。
直接的な被害者がいなければいいのであれば１も、宇崎ちゃんやその他のあらゆる表象も問題化できなくなってしまう。
問題は、モデルのいないイラストであれ、合意済みの女性自身の身体であれ、「女性」一般に対するイメージを歪めたり利用したり、モノ化できてしまう、その悪さなのである。
こう言い換えてもいいだろう、「女性」のイメージは女性全体の言わば共有財産なのであり、イラストも女性自身の身体もそれを傷付け得る。
例え女性個人が合意していたとしても、それ以外の合意していない女性へもダメージが波及するために、女性の身体を性的にモノ化することは許されないのだ。
従って、個々の女性の身体や女性の表象もまた、女性全体の共有財産だと言えるし、共有財産である限り、個々の女性が（集団の意に背いて）それを好き勝手にすることは許されない・批判される必要があるのだ。
このようにしてフェミニズムは、女性に対するある程度の自由の抑制や批判、そしてそれによる全体主義を正当化できる、できてしまう。
このようなフェミニズムの在り方に対して、フェミニズム自身による更新は難しい。
何故なら上記のような論理は「性的モノ化」のような基礎的な概念から論理的に導出できる以上、その更新はフェミニズム全体を大きく変えざるを得ないし、
その過程で、これまでのフェミニズムが批判しえていた（主に男性たちの）行為や現状を批判不能にせざるを得ないようなケースも出てくるだろう、そうしたことは、多くの女性やフェミニストにとって受け入れがたい。
あるいはアカデミズム側のみのマイナーな議論としてはそのような更新も期待できるかもしれないが、運動としてのフェミニズムにそれを輸入することは恐らく出来ないだろう。
例えば件のツイートに対しても、フェミニズムによる（その女性の身体を共有財産化する全体主義的な傾向に対しての）批判は期待できない、という事からもそれは分かる。
こうした問題を、フェミニズムはこれからも抱えていかざるを得ない。
そしてそこから目を逸らし続けないわけにはいかない、例えそれが欺瞞でも、解決する能力がない以上は。
※１ なお１に該当する女性エロ漫画家をフェミニズムが肯定しえないことについては以下を参照
子供は未就学児ではなくなり、育児にかける手間という意味ではだいぶ軽減できてきたなーと思ってます。幼児まではめっちゃ大変だった。
２人目の子どもが産まれたとき、会社に育休を取らせてと相談したけど、「みんなが真似したら仕事が回らなくなるから」というわけのわからない理由で却下されてしまった過去があります。
会社は大企業で、男性の育休制度はあったけど、まだ取得した人はいないという状態。もう10年以上前の話ですね。懐かしい。
「出世に響くよ」みたいなこともアドバイスという体で言われたりして、牧歌的な時代でした。
育休、結構じゃないですか。ポーズだとか、そんな時期に育休とっても育児の役にはたたないよとかいろんな意見が飛び交っていますが、私は良いと思いました。
「大臣の2週間育休取得」に期待することとしては、
あたりなのかなと思います。
男性の育児参画重要ですよ、女性の社会進出にはもっと男性の協力が必要ですよ、と一生懸命言ったところで、政治を行っているおじさん（おじいさん）たち自身の振る舞いがそこに立脚していないと全く説得力なしだと思うんです。大臣には育休取得をぜひとも成功させて、背中を見せてほしいと思います。
と、まあ基本的にはそういう気持ちなんですけど、もやる部分というか、こういう考え方もあるよなーという気持ちが自分の中にあるんです。
それは、社会的地位や影響力があり、お金もある人は、育休取得ではなくて、例えばシッターやヘルパーを雇う、サポートのサービスをフル活用して、仕事もしつつ、育児もこなすみたいな背中を見せられるんじゃないのってことなんです。
育休をなぜ取るのか。それは育児が大変だからですよね。大変なことをもっと気軽にアウトソースできる。そのことに寛容な社会を作って欲しいなという気持ちもあります。
自分の子どもは自分たちだけで育児しないといけない、みたいな空気ができるのがすごく嫌。育休を取る理由が、育児が大変だから、ではなくて、自分の子どもがかわいく、新生児・乳児のときにたくさん触れ合っておきたい、という理由であれば話が違うんですけどね。
育休の取得については、それなりに立場のある人、責任のある人が、家庭と職場の板挟みになりやすいと思うので、育休取る・取らないの選択肢に加えて、外部サービス活用（その充実）がもっと議論されると良いなと思っています。
何かの参考とかにしたらダメです。書き始めて半年経つんだけどこっからどう直したらいいんだか（何をゴールにしたらいいのか）わからない。。
追記：合流性とか強正規化可能性とか停止性とか、全部チューリング不完全で、事前の静的解析で使うメモリの最大量が確定できる、とかそういう風に読み替えられる人を増やしたいのです、数式の添え字とΣと∫にびびらない人を増やしたいようなもので
数理論理学の一分野である証明論から成長した、数理論理学と理論計算機科学の境界領域の研究領域である型理論(type theory)は、大規模なプログラムの内的な整合性のチェックを行うための方法論を必要とする情報処理技術の分野で関心を集めている。
そもそも「型」(type)とは何か。プログラミング言語は一般的にはレコードや関数といったプログラムを構成する「値」(value)の定義をする道具である(*1)。その言語のコンパイラ作成者はこれらレコードや関数などの値、もしくは第一級の対象(first-class object)の種類を区別する型システム(type system)を必要とする。抽象代数学の観点からすると、「型」とはこれらの値もしくは第一級の対象が属する高階の対象(higher order object)としての空間(space)ないし代数系(algebraic system)で、型システムはそれら「型」とそれら相互の関係(relation)つまり型のなす順序構造(order structure)ないし束構造(lattice structrure)であるといえる。
プログラムを構成する値すべてに型が付くためには、曖昧でない(*2)こと、自己矛盾していないこと、悪循環を含まないこと、それぞれの値の内容をチェックするために無限の時間を要しない(*3)ことなどが必要で、これらを満たすなら、プログラムは有限時間で実行を終え、停止する。手続き型言語では無限ループ、型無しラムダ計算では無限再帰によって型付け不能なプログラムを書くことができるが、型理論はこれらのチューリング完全な計算機を意図しない停止しないプログラムから守る装甲でもあり、再帰やメモリ確保で好き勝手をさせないための拘束具でもある。型が付くプログラムには単に停止するというだけでなく、可能な実行経路（訂正：経路→方法）のすべてで同じ結果を出すなど種々の良い性質がある。
1)この定義は現実に使われているプログラミング言語の特徴を覆い切れていない、狭い不満足な定義だが本稿では都合上この定義に立脚して限定的に議論する。例えば変数(variable)というものを持つプログラミング言語もあり広く使われているが、これについてはレコードや関数と同じように性質の良いものとして扱うことが難しい。難しさの原因は次の注の内容と関連する。近年は変数を扱うかわりに値の不変のコピー(immutable copy)やその参照に名前を付ける機能を持つプログラミング言語が増えている。
2) 現実の情報システムでは、COBOL言語のレコード再定義やC言語の共用体、一般的な関数ポインタやVisual Basic言語のvariant型変数のように、同一領域に異なる型の値が共存する共用型(union type)の値がしばしば必要となる。共用型の値はgoto文を排除した構造化／オブジェクト指向プログラミングにおいて条件キャストやクラス分岐などによる実行経路の複雑さの主要な原因になるが、これは和型(sum type)すなわち相異なる型の非交和(disjoint sum)として定義することで曖昧さなく定義できる。
3) ゲームプログラムやネットワークサービスにおいてしばしばみられるように、入力として無限リストや任意に深い木のようなものを想定する場合には明らかに（条件を満たさない限り）停止しないことが正しい動作となり、この場合は最外周のループを（←どうする？）メモリリークを起こさないなど別の考慮が必要となる。
こういうのを書くのは蛇足なのであまりよろしくないかもしれないけれど、「なんでこれが入ってないんだ！」という異論が出てきそうなので、ベスト10選出にあたって考慮した作品とベスト10から除外した理由を挙げて供養しておく。
足の作画にこだわった実にフェチい映像化であり、映像化不可能と言われていた歯磨きプレイを完璧に原作再現してみせたのはただただスタンディングオベーションするしかない感じだったのだが、自分の中で『化物語』（2009年）のファーストインパクトを超えるものではなかったので除外。シャフト時空と「君の知らない物語」の衝撃は10年経った今でも色褪せていないんだ……
2012年に1期が放映され、2019年に完結編となる5期が放映された、まさにテン年代を駆け抜けたアニメシリーズの第1作。「急に歌うよ～♪」に代表される外連味あふれる演出はほんと好きだし悠木碧も水樹奈々も良い仕事してるなって思うしひびみくは尊いし「Synchrogazer」ほんと名曲で大好きなのだけれど、他の作品が良すぎてベスト10入りは厳しかったみたいな感じ。
アニメとしてのクオリティは確かに良いし、熱血シーンも多かったし（「改変完了…！」が好きすぎて何度も聞いてしまう）、穏乃が最高に可愛かったのでそこだけ切り取ればベスト10でもよかったのかもしれないけれど、原作改変してレジェンドを無能キャラにしてるのは許されざる感じ。原作だとレジェンドは色々裏で手を打ってたわけだけどアニメ版では控室で解説聞いて「知らなかった」みたいに驚いてるシーン付け足されちゃったところが何箇所かあって、まあアニメだけ見てるとレジェンドが無能に見えてしまうよな……なんもかんも原作改変が悪い。あと千里山の関西弁もうちょいどうにかならんかったんか……
え？ 実写化？ やだなあ『咲-Saki-』は実写化なんてしてないですよ何言ってるんですか冗談が下手だなあHAHAHAHAHA。
なんとも評価に困る作品である（氷菓だけに）。確かにアニメとしてのクオリティは高かったし、原作を尊重もしていたと思う。でもやっぱりあちらこちらで「ええ～……」という感じになる改変箇所があった。キャラデザの段階で原作ファンをざわざわさせていたのだが、それはまあ解釈の問題なので別にいいとして、「わたし、気になります」の謎エフェクトはいったい何なの？ 『クドリャフカの順番』回で奉太郎が真相を解き明かす場に里志がいたのは個人的には微妙。その場にすら居合わせられなかった辺りが福部里志なんじゃない？ ただまあその辺は宥恕できる範囲だとして、ファーストシーズンのEDは本当に許せない。なんなのあれ？ 〈古典部〉シリーズにああいうEDとか人を馬鹿にしてるのかと思う。セカンドシーズンのEDはまあ良かったけど反省したのかね。OPは完成度高かったのになあ……。そして数年後に『氷菓』が実写化したときに「京アニのイメージが台無し」とか「またアニメの実写化かよ」とか言い出す連中（末代まで祟ってやる）が出てきたのでやっぱりアニメ化しなかった方がよかったんじゃない？ と思ってしまった。いや、アニメ化きっかけによねぽ作品全部揃えたとかいう友達もいるから安易に否定するのはよくないのだが、高校の図書室の片隅で読んでいた僕たちの〈古典部〉シリーズを横取りされた感はなんか強い。この辺のモヤモヤがあって手放しには褒められないので除外（ところで実写どんな感じでした？ よねぽ作品初の映画化なのにまだ見てないというのは忸怩たる思いがあるのだけど、ちょっと見るのが怖い）。
最後に。細かい話になっちゃうけど、時代背景は原作発行当時にしてほしかった。作中でみんながスマホ使ってるのにチャットとかサイトとかあのへんの描写がすごいスマホ以前の時代の匂いを漂わせていて、なんというか違和感があったんだよね。だったら時代を2001年とかそのへんにしてキャラには一昔前のガラケー持たせればよかったんじゃない？ と思う。スマホ以前の時代に中高生活を送った者として、同時代に読んでいた小説の空気感はそのままに一部の小道具だけ現代になってるのはやっぱりなんか変な感じがするんだよな。時代考証がちぐはぐというか。この点、出来はともかくちゃんと舞台を1990年代のままにしていた『この世の果てで恋を歌う少女YU-NO』（2019年）は賢明な判断だった。
文明崩壊後世界を原作通りに丁寧に、しかも我々の予想を超える形でアニメ化してくれてチョベリグだったのだが、競争相手が多すぎてベスト10に入れなかった格好。いやーほんとね、原作で描写された未来の異形の生物たちをあそこまで丁寧にアニメ化してくださったのは素晴らしいですよ。そして浪川大輔さんの演技が最高だった。『新世界より』で一番輝いてた声優は誰って言われたら浪川さんを挙げる。ほんとすき。
ただアニメオリジナルの大歓喜帝の即位シーンはどうかと思った。「大歓喜帝となられる！」っていう台詞があったけどあれは諡号なんだから生前そう呼ばれることはありえないと思う。もちろんそれは伝統的な王号の話であって未来に適用できないのでは、という議論もありうるけれど、慈光帝にしても大歓喜帝にしても生前のおこないを皮肉る形でつけられてるんだからやっぱり諡号なんじゃないかなぁ。まぁこれは些細な点で、これ以外はケチのつけようもなかった。良アニメ化の見本みたいな感じ。
単体で見れば良い出来なのかもしれないけど割と大胆に原作の時系列を改変していて微妙な気分になるので除外。龍之介とリタの関係とかさぁ……。
アニメを使ったCMの最高峰だと個人的に思うので最後までベスト10に入れるかどうか迷った。
映像としてのクオリティ、百合作品としての密度、キャラのかわいさ、どれを取っても高品質で良い作品なのだが、原作と描写違いすぎませんかね……？ という理由で除外。だって原作で完璧超人なキャラがアニメ版で脳筋おバカキャラになってるのはちょっと擁護不能じゃないです？ ゆうかのかえでへの思いが全然違うものになっちゃうじゃん……
良い作品なんだけどちょくちょく原作の描写変えてるんだよね。最大の問題はなぜ標準語にしたのかという点。原作では方言で喋っててかわいいし漫画版もそれを再現してるのに！ あと『2』であすか先輩の実家がなんで豪邸になってたのかがわからん。あんな豪邸じゃああすか先輩が育ててくれた母親に恩を感じる理由が微塵もなくない？ どう考えてもアニメ版であすか先輩がこれまで生きてこられた理由は実家パワーであって暴力をふるう親に感謝しなければいけない理由が見えてこないよあれじゃ。あすか先輩もひとりの高校生であり、特別な人間なんかじゃない、という意味が原作のつつましやかなお宅には込められていたと思うんだけど、そこ変えちゃうかー、という残念さはあるよね。夏紀先輩が大天使だっただけにこれをベスト10に入れないのは割と断腸の思いではあるが（でも夏紀先輩の描写も原作と違う……ぐぬぬ）。
ガルパンはいいぞ。……とだけ言って終わらせるのはあまりにアレだけど、実際にそうとしか言いようのない感じはあり。とにかく戦車アクションのキレが良く、それを映画の尺で濃密にやってくれたもんで大満足の出来だった。ベスト10に入れるつもりでいたけど気づいたら11作品くらい挙がってたので泣く泣く削った感じ。
俺たちの新海が一気に一般人にも知られるアニメ監督にのし上がるなんて予想もできなかったが、流行るだけのことはある作品だった。新海誠が『天気の子』（2019年）とかぶるからバランスを気にして外した、以上の意味はなく、もちろんテン年代アニメ映画ベスト10に余裕で入る傑作である。これぞ新海誠という感じの映像美にこれぞ新海誠という感じのガバガバSF要素が加わりやっぱり新海誠じゃねーかとなる感じの恋愛模様を前面に出しつつも東宝とかいう拘束具を得た結果オタクだけでなく一般人からも支持される作品に仕上がったのは本当にアニメ史に残るサクセスストーリーではあるまいか。いやだって『言の葉の庭』の興収とは文字通り桁が違うというか……あのセカイ系がどうたらこうたらみたいな論を立てるめんどくさいオタクに大人気だった新海誠が国民的アニメ監督になる日が来るだなんて2010年の自分に言ったら失笑されるだろうと思う。
映像表現としては素晴らしいの一語に尽きるのだが、重要なところで謎の原作改変を複数していて微妙な気分になってしまうので除外。リンさん関係の省略で妊娠を疑うシーンが意味不明になってたのもそうだし（これはこないだ公開されたバージョンではちゃんとリンさんの出番あったらしいのでそっちに期待）、なんですずさんの慟哭シーンの台詞を改変したか未だに納得がいかない。そもそも原作では、「米軍の空襲という暴力には屈しない→自分たちも暴力で他人を従えていたのか→だから暴力に屈するのか」という一連の流れになっていたのに、映画では「米軍の空襲という暴力には屈しない→植民地の食べ物を食べて生きてきた→だから暴力に屈しなければならないのか」と改変されていて流れが途切れている感。もちろん真ん中の部分も自分たちが植民地支配という暴力を振るってきたんだと気づかせる意図ゆえの改変でだというのは理解するけれど（そしてそういう気づき方の方が一主婦であるすずさんの立場からは自然だという論にも一理ある）、やっぱり「暴力に屈するものかね」という台詞を踏まえると原作の台詞を維持すべきだったと思っちゃうんだよね。というか、原作そのままの台詞にも改変後の台詞にも一定の合理性がある以上、原作を変えるべきじゃないでしょう常識的に考えて……アニメ化は原作の婢ですよ……
すごーい！ 君は下馬評の低さ、1話切りの嵐からソーシャルネットワークの勢いで覇権に上り詰めた2010年代を象徴するような流行り方のアニメなんだね！ 最初はなんだこれって思ったけど、普通に面白くてびっくりしちゃった！ 最終話を待ってた1週間はとーっても長かったんだ！ ……ということでベスト10に入れても良かったのだが、多くの人を満足させて終わった放送終了後にとんでもない騒動が（コンテンツホルダー側の責任で）巻き起こったのを思うとベスト10に入れるのを躊躇われ、最終的に外してしまった。アニメ外の要因で評価するのは邪道だろうけれど許してほしい。
で、こういう話をするなら『けものフレンズ2』（2019年）についても語る必要があるだろうけれど、途中で切っちゃったんだよな。解釈違いというかちょっとそれはどうなのって思うところが多々あったので。ただその私がどうなのって思ったところも他の人の考察とかを読む限りでは最終的に「なるほどそういう問題意識に基づいていたのか～（私と立場は違うけどそういう立場に立脚するのは理解できる）」みたいな感じに落ち着いて終わったっぽいので、完走すりゃよかったかなとちょっと後悔している（某所の感想を読んで「つまり『けものフレンズ2』は『ソラリス』だった……？」というある種の納得を得た）。でも是非以前にクオリティの問題で見ててあんまり面白くなかったんだよ『けものフレンズ2』……
あと私もたつき監督の作風は好きだけど、吉崎観音がコンセプトデザイン（≒原作）であってたつきはあくまでアニメ版の監督に過ぎないっていう前提を忘れてまるで1期が原作であるかのように振る舞う2期批判派の人は生理的に無理。実際のところはどうだか知らないが、仮に吉崎観音とたつきが対立して前者が後者を追い出したというゴシップの内容がすべて正しかったのだとしても、原作者とアニメ版の監督が対立しているのなら普通は原作者の肩を持っておくのが良識だろうと思っていたのだが……？
単体で見ればとても良い出来なのだが希美とみぞれの関係性あるいは夏紀とみぞれの関係性に関し解釈違いというか原作と違う箇所があって微妙な気分になるので除外。原作の久美子が夏紀や優子に置き換わった結果関係性が変わっちゃってるんだよなぁ……。原作で希美が久美子に弱さをさらけ出すシーンを夏紀＆優子相手に変えたら原作の夏紀先輩が見せた気遣いはどこに行ってしまったの？ ってなるし、クライマックスの台詞にしても原作とはニュアンスが違ってきちゃうわけで……。そもそも希美先輩はなかよし川相手にあんな弱音を吐くキャラではなかろうし（あれは相手が久美子であったことに意味があるのであり）。あと夏紀先輩が謎にみぞれ先輩に優しいのはなんでだ。原作では割と冷ややかに見てたよね……？ というか原作と明らかにクライマックス後のnzmzの距離感が違うじゃないですかァーーーーーッ！！！（いや短編集まで含めての話です。希美の誘いをきっぱり断ったみぞれ先輩はどこいっちゃったの？）公開直後に「のぞみぞ添い遂げて」とか言ってる人たちを見て、はぁお前らどこに目ン玉つけてんだいったい原作のどこに添い遂げる可能性を感じられるんだ、と思ってたけど、映画見てみたらそう言いたくなる気持ちもわかってしまった……ともかく関係性が原作と違う……
キャラデザも意見が分かれるところだろうと思う。個人的に傘木希美のキャラデザはTVアニメ版の方が好き。地に足が着いてる感じがする。リズ版は軽薄さが強調された感じに見えて傘木希美のモンペとしてはこう微妙な気分になってしまうのです（二次創作その他での傘木の扱いがあんまりにもあんまりすぎてモンペ化した。リズ青の傘木が！ 無神経に！ 見えるのは！ 原作の気遣い描写を削ってたり！ 余計な改変をしてたりするからです！）。逆に鎧塚みぞれはリズ版の方が良い味出してたと思う。みぞれの儚さを引き立たせるためのキャラデザなんだなと思えば納得（いや、原作とはそもそも髪型違うんだけどさ）。みぞれ先輩の視界むっちゃ狭いな！ っていうあの演出は本当に傑出した映像表現であって素晴らしいなと思うところ。これで原作に忠実ならベスト10に入れてた。
今作、耳が孕みそうになるイケボのシェーンコップや立体機動装置を使ってそうなオーベルシュタインやヤンチャしてそうなキャゼルヌといった新しいキャラデザが輝いていたし、ショタハルトさまの破壊力すごすぎてキルヒアイスが人生狂わされたのも納得してしまったし、フレデリカが一部オタクの性癖を鋭角でえぐる見た目になっていてたいへん素敵だったのだが、MVPはなんといってもアンドリュー・フォーク准将だと思う。顔立ちは整っているが陰気、という原作の描写を完璧に再現してくださっている……！ しかもCV神谷浩史の流れるような詭弁も聞けて本当に耳が幸せ。3,000万将兵の命を無謀な作戦に費やす勇気。俺たちの求めていたフォークはこれだよ感が素晴らしい。
ただキルヒアイスがことごとく解釈違いで……いや、流石にカストロプ動乱はあんまりにもあんまりというかキルヒアイスがああいう策を弄せるならオーベルシュタイン要らないじゃん感がすごくないです？ 戦闘は得意だけど策とか謀略とかそういうのは不得手、というのがキルヒアイスの美点であり弱点でもあったと思うのだけれど。というかなんであんな鋭い目つきなの？ もっと温和な感じじゃない？ ただでさえラインハルトの目つきが鋭いんだから相方であるキルヒアイスはもっと穏やかな感じにしてくれた方がバランス取れない？ 道原かつみ絵で産湯を使った人間なのでキルヒアイス描写は不満が多かったけど、キャラデザの部分に関しては単に解釈が違うという話で原作と違うという話ではないのでまあ許容範囲内ではある。でもやっぱりカストロプ動乱はおかしいと思うんですよ（しつこい）。
空戦シーンは文句なしに最高の出来なのだが、やっぱりキャラもそれで動かすのは微妙というか……いや本当に空戦シーンは素晴らしいんだよ……でもキャラの顔とかが……空戦シーンは2010年代で最高なんだが……
第二十四条
婚姻は、両性の合意のみに基いて成立し、夫婦が同等の権利を有することを基本として、相互の協力により、維持されなければならない。
配偶者の選択、財産権、相続、住居の選定、離婚並びに婚姻及び家族に関するその他の事項に関しては、法律は、個人の尊厳と両性の本質的平等に立脚して、制定されなければならない。
上の条文で「両性の合意のみに基いて成立し」のところを「両性の合意、または国家による決定に基づいて成立し」とすれば政府による強制結婚法制定は可能になるんじゃね。
真面目に強制結婚させないとこの国の少子高齢化問題は解決しない。
そんな反出生主義に染まったあなたでさえ、性的パートナーを求め有しないではいられないという厳然たる事実。
つまり、反出生主義とは、大気を汚染せずに呼吸したい、とか、他の生命を傷付けずにご飯食べたい、とか、そういう「あらゆる意味で技術の進化が与えてくれた余裕の上に成立した、まるではしごの上に乗る人が邪魔なんではしごを取り去りたいと言ってるような空中に立脚する論」であるということ。いるじゃん、貴族の娘が「わたくしは民衆の皆様とともに歩みたいのです！」みたいな。そういう感じ。
そういうポリシーを個人がもつことが悪だと言うわけではないが（持ちたければ持てばよいし、その結果、社会に対して善行をなすことだってあるかもしれない。）、すくなくともバカだと思われるのは避けようのないことだと思うので、バカだと思われたくないなら、少なくともまず自分のバカさには気付くしかないと思う。
だから「彼女とはうまいことやりたいけど反出生主義はやめたくないです」みたいな意見に対して、「バカ？」と罵るような意見が付くのは仕方のないことだ………と、最初にコメントつけた人の気持ちを代弁してみる。
