  |
はてなキーワード: 規則とは
これについてるコメントが賢ぶりたいだけの馬鹿ばっかりで嫌になってしまった。増田の言ってることはわたしにはよく分かるし、たぶんそんなに間違っていない。
結局のところ数学は普遍の真理ではなく、人間の作った複雑な工芸品みたいなものであって、ア・プリオリに正しいわけではない。
言ってしまえば「数学の秩序はア・プリオリである」という我々の「態度」が数学を普遍的で厳密なものに見せている。言い換えれば、普遍的であることは数学というゲームに対する我々の要請なんだな。厳密でないところが見つかったら「それは数学ではなかった」ことになるわけだ。
ブーヴレス『規則の力: ウィトゲンシュタインと必然性の発明』を読んでみて欲しい。
まず大前提として現在使っている証明体系が無矛盾であるとします. 証明体系が矛盾しているというのはある命題Bについて, Bかつ¬Bが証明できることを言います.
言及されている規則はいわゆる二重否定の除去と呼ばれるものですね. 一応他の推論規則に関してはモダスポーネンスなど標準的なものを使っていると仮定します.
その場合, 言及されている生徒の``証明‘は証明ではありません.
なぜならそれが証明であると仮定(もしくは¬¬¬¬¬AとAが等しいと仮定)すると, その生徒の証明に手を加えることでAかつ¬Aの証明を得ることができるからです. これは現在使っている証明体系が無矛盾であることに反します.
(今形式化された証明体系を数学的に考察しています. これは形式化することの利点です. より詳細なことは数学の形式化などで調べていただけると幸いです. )
うーん
学生は否定否定AはAという規則から否定かける5Aは否定かける2Aだから上記はAなんだと言い切る。この場合規則が異なってると反証可能か？（否定の記号を簡単に入力できないうえに手短に書き込みを済ませなきゃいけない環境なので許してほしい）
まず数学的な内容の真偽の判断に納得感や権威などは関係ないです.
あくまで言及されている状況の場合は, 先生の方が想定している証明の体系では生徒が与えた記号列, 文字列が合致しなかったためそれが証明ではないと判定されたのではないでしょうか?
もちろん極論を言えば先生の方から公理や推論規則を全て提示すべきというのはそれはそうですが, そこは暗黙の了解や文脈に依存する話です.
まず数学的な内容の真偽の判断に納得感や権威などは関係ないです.
あくまで言及されている状況の場合は, 先生の方が想定している証明の体系では生徒が与えた記号列, 文字列が合致しなかったためそれが証明ではないと判定されたのではないでしょうか?
もちろん極論を言えば先生の方から公理や推論規則を全て提示すべきというのはそれはそうですが, そこは暗黙の了解や文脈に依存する話です.
だから、その先生の判定が合っていて、学生のは間違っているとどうしていえる？それなりに納得感を持ってその答えを出したと言うのに？ドモルガンレベルの規則を使わせる、推論規則の理解を試す問題でもそうだ。学生により複数の答えが出されてしまったらば、そのなかで正解はたかだかひとつだけだ。でもどうしてこっちが合っててこっちが間違いと言えるだろう？逆に先生の判定が間違っているとならないのは権威によるねじふせでなく、究極的に水掛論にしかならなくないか？
言及されている状況を(記号論理のような)推論規則を用いて何らかの証明を書いていると仮定します.
「証明」というものも特定の条件を満たす公理と推論規則を用いた操作の列として(数学的に)定義されています. ここで公理や推論規則などはあらかじめ固定されています.
与えれた記号列, 文字列が証明であるかどうかもその定義に基づいて判定することができます.
言及されている状況での会話ですが, あくまで推察ですがおそらく生徒の書いた証明が証明の体を成しておらず, 皮肉混じりに言ったのではないでしょうか?
では、先生が学生に向かってある推論規則を用いた問題の回答について「あなたは推論規則を正しく用いれていない。強いて言うならあなた独自の推論規則を使っている」といえるのはなぜか。あるいはこのことを言語による説明によらず論理的に証明しようがあるのか？禅問答的なのはわかっているが言わんとしてることが伝わればありがたい
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます.
ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います.
数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます.
(あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. )
現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてください. ここで公理とはあらかじめ定められた記号列で, 推論規則とはいくつかの文字列を用いて新しい文字列を生み出す操作です, 例えば文字列A→BとAが与えられたときに文字列Bを得る操作があります. 定理(数学的命題)とはこの操作によって生み出される文字列です. これらの操作は数学における証明を形式的に記述したものになっています. 論理式などもこの形式化のもとで特定の条件を満たす文字列として定義されます. 例えば論理式Pの否定は¬Pという文字列です. (ここでは否定を表すための記号として¬という文字列を用いています. )
ここまで文字列だけを考えた形式的なものですが, 構造やモデルを使うことによってこれらの文字列を解釈する(つまり意味を与える)ことができます. (詳細は省きます. ) 構造やモデルを定めることによって論理式の意味が一意的に定まります. またそれらの取り方を変えることによって意味が変わることもあります.
これの考え方によって(数学的な)意味は形式から分離されています. さらに気になる場合はゲーデルの完全性定理などを見てください.
そして適切な公理と推論規則を定めることにより数学そのものを形式的に扱うことできます. その適切な公理はツェルメロ-フレンケル集合論(ZFC)と呼ばれており, 現在の数学者はこのZFCを用いて数学をしています. (一部, 圏論などでZFCに収まらない議論があると聞きますが, それらもZFCの適切な拡張を考えることで解決できます. )
つまり, これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます.
一方で数学の論文は普段の言葉(自然言語)を使って書かれます. これは本当に全て文字列に書き換えることをした場合, 可読性が著しく落ち, また分量も膨大になるため人が読めないためです. しかし証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています. そしてこれは理論的には可能であり, 数学の厳密性を担保しています.
「定義の一意性」に関してですが私自身が元記事の要点を完全に理解しているわけではないのですが, 数学に関していうとある数学的概念の定義が複数あることはよくあります. もちろんその複数ある定義が同値であることを証明されなければなりません. ここで同値というのはある数学的対象Aが定義Pと定義Qで与えられていた時に, 「Aが定義Pを満たすならば, 定義Qを満たす. またAが定義Qを満たすならば定義Pを満たす. 」ということです. 実際に使う際には用途に合った定義を用いることになります. それらは同値なのでどれを選んでも問題ないです.
以上がざっくりとした形式化された数学に関してです. 参考になれば幸いです.
追記: これは筆者個人の考えですが, 数学と哲学の議論はしっかりと分離してなされるべきだと考えています. もちろん相互の交流はなされるべきですが, 両者を混同するのは誤解や誤りの原因になると思います.
記号論理学の問題だって複雑なのだと解答を間違える人はいるわけじゃん。
それは記号の生成・操作規則に対して「正しく理解してる人」と異なる法則として理解しちゃってるからなの？
でもじゃあその法則が間違ってるってどうしていえる？淡い想像だから自信ないけど究極的には「こうだからこれで合ってる！」「いいや違う！」と蒟蒻問答みたいになりそうだけど。
まあもちろん例題そのとおりの、考えうるもっともシンプルな問題については与えられた「規則」を用いて誰もが同じ解を出すだろうけど、複雑な問題に対して、習熟してるとされる先生と学生とで答えが異なったとき、どうして前者だけの規則の適用の仕方が正しいと証明できるだろうか。しかも本人はそれなりに納得感を持ってその解を出しているのに。
規則に対して正しく内容を理解してる、言い換ええば、規則に対してその規則と異なる規則を持っているのではない、ということを解(途中式含めて)「こうだからこう！」じゃなくて、筋道立てて学生側の未熟とされる解を否定しきるのは「困難」なんじゃないか。そもそも正しいってなんだ。
空白12年職歴無し35歳無職ワイ、二日目の出勤を終え無事帰宅
本日は新聞にビニールを付ける機械の使い方など教えてもらいバイクに積み上げ社員の方と配達へ、自身も新聞を入れる
二日目にして1部の誤配と1部の不配(積み忘れ)をやらかす
原付のクラッチ操作に未だもたつき焦り散らかす上に原付でのUターンに全く慣れる気がせず順路も覚えられる気がせず
自分に引く
この区域はここから始まります～って言われて3軒配ったらもう全く覚えてねえのな
順路帳というか地図を頂いたものの地図上に経路が矢印などで明記されているわけでもなく
これじゃ復習しようがねえ
覚えるための道筋ってもんがないと猛烈に辞めたくなるんだよな・・・例えばスーパーの品出しなら毎日通ってれば覚えられるだろうと思えるんだけど、新聞配達だと覚えられる気がしなくなる
この差はなんだろうな・・・屋外は地形が複雑な上にこの時期は景色が変わらず覚えづらいが、スーパーは視界に収まる広さしかなく規則性もあるからか？
う～ん・・・
それに全てにおいて自分でも頭悪い動作してるんだよな…マンションに複数部持って入るときは折り畳んだ新聞を腋に抱えていくんだけど、そこでもバサバサ落とすわどの順で腋に抱えてたか忘れて取り出すのにもたつくわで我ながらポンコツで頭を抱える
35歳にして全ての動作において2手先が見えてないんだよな、いわゆる動作性IQが低いんだろう
やはり覚えることの少ないスーパーの早朝品出しとか24hスーパーの深夜勤務とか、工場で思考停止ライン作業や清掃のような閉鎖空間での作業か、あるいは夜間警備員みたいな仕事しかできなさそうだと再確認した次第
とりあえず明日近場のスーパーの早朝品出しの面接なんだけどそっち受かったら新聞配達は辞めるか？
お互い傷が浅いうちに辞めたほうがいいしどうしたもんかな～
IT関連の障害、最近でバズったのだと神奈川公立高入試のネット出願認証メール不具合問題あたりとかで
テストが不十分だ、こういう指針をデジタル庁が率先して規則を決めるべきとか言う人がいるが
できるならもうやってるんじゃないの
大体官公庁人が絶対数足りないし、そもそも業務システムについて明る人って官公庁にいるわけ無いじゃん
居たとしても俺みたいにもう民間行ってるよ
結局様々な待遇が良くならないと無理だし最初は人海戦術が必要なんだから
金つけて一気にやっていかないと無理だと思うよ
2020年〜 コロナ禍に感染者の行動を個人が特定できるほど詳細に公表
2023年11月 地元医大受験の県民枠に奴隷契約的誓約書への署名を要求
他にも山梨県はパワハラ・ランキングでは常に上位、パワハラ訴訟もたびたび起きている
俺はワクチン全部打ってるしマスクもするけど、それって個人の判断に委ねられているから打ってない人マスクしてない人がいても許容せざるを得ないと思ってる(逆に店舗や民間施設などが独自に定めた規則に従わない人たちの立ち入りを拒否するのも自由と思ってる)し、病気って個人情報の中でも最も取り扱い注意とされる機微情報になっているのにウイルス感染した個人を特定できる情報を公開するなんて異常すぎる
Why tf would anyone but u care about this person thats streaming その人が配信中だなんて情報、お前以外にとってはどうでもいいんだよ
Literally i dont want you talking here ここで話すなよ
Go back
-----
do not slack on grammar you actually see in texts you are reading 読んでるテキストに出てくる文法はサボっちゃだめ
most times it would be some form of self-improvement, something that we’ve always wanted to achieve, some things that we slacked on that we didn’t accomplish in the prior year.
◎ 今日の会話でウィリーさんは「Slack on」と言いましたが、基本的には「Slack off on」と表現します。
-----
4) Follow through（最後までやり通す）
You need to follow through with your commitment.（自分で決めたことは最後までやり通さないと。）
I promise I will follow through to the end.（最後までやり通すことを約束します。）
He’s all talk. He never follows through with what he says.（彼は口だけだよ。言ったことを全然最後までやり通さないからね。）
----
too sleepy to function 眠すぎてまともに活動できない
-----
twitter algorithm is bad but they got more pressing issues at hand ツイッターのアルゴリズムはダメだけどもっと喫緊の課題があるよ
im getting follow requested by these bot accounts who put their bra sizes in their bio ブラサイズをプロフに載せてるボットアカウントにフォローされまくってる
e.g. resolve the pressing issues related to ～に関する喫緊問題を解決する
-----
Sounds like a babbling tard tbh.
Yo, u stupid. U shud get a regular job not 2 make ur mom cry out.
-----
I'm framing this to the wall, thanks その言葉を壁に飾っておくよ、ありがとう（褒められたりしたときに）
-----
they're very upset and very against the idea of this Ukrainian woman Karolina Shino winning the Miss Japan beauty pageant
https://youtu.be/1qN_8jIOxFU?t=165
〔大仕掛けな〕歴史ショー、時代劇◆可算◆地域の歴史や伝統を題材にしたもので演劇や山車を連ねたパレードの形を取ることが多い。
〔壮麗な〕行列、行進
〔多くの参加者が登場する〕ショー、公演
誇示、見せびらかし
pungent
〔味・匂いなどが鼻や舌を〕強く刺激する
-----
I find it kind of funny that she's trying to tick every box of adopting Japanese culture even the whole cheating part of Japanese culture which is very prevalent
tick every box = すべての条件を満たす
-----
The whole reason why this Carolina Ukrainian woman won the beauty contest is because she basically ticks almost all the boxes for being a beautiful Western woman. She's got the small face, the big eyes, the kind of blondish light brown hair, the very pale complexion
complexion 【名】 顔色、顔の艶、肌の色、顔貌 外観、様子、態度、形勢
-----
-----
〔彼は言った彼女は言ったの〕水掛け論◆引用符を用いて"he said, she said" argumentと表記されることもある。
-----
Apprently "high moral capacity" that they're talking about is bent over backward over unfair "contracts" of a black company.
日本人の言っている「高い道徳能力」っていうのは、「ブラック企業の不公平な契約を守るために必死になる」ってことなんだな
BEND OVER BACKWARDS: informal. to make a special effort, esp in order to please.
cf. bending the knee to corporations
-----
To be a good Japanese worker, that means keeping your mouth shut, head down, and following what your boss says/does to the letter.
-----
catch strays 悪口を言ったら全く関係ない人に流れ弾が当たること
Aiming to insult someone but insulting someone else in the process aswell even if not involved.
-----
《the ～》会社の一部始終［裏と表］
人生の綾、曲折
～のことをくまなく知っている
～の内外［裏表］について話し合う
-----
それはお世辞にもよく撮れた写真とは言えない。: The picture is way less than flattering.
----
her haters clearly don't get to her = アンチの攻撃は彼女に全く効いていない
・If you let her get to you personally, you won't last a week. : もし彼女の攻撃を個人的に受け止めたら、1週間と持たない。
・Try not let it get to you. : あまりくよくよしないで。／元気を出してください。
・Maybe the heat has gotten to me. : 暑さにやられたかな…。◆【場面】夏ばてなど。
-----
alright im getting off now （チャットなどで）落ちるわ
-----
Who gives a shit about selen?? Seriously.
You niggers spend years talking shit
The second she an heros and drops the crazy truth bomb that enna is in fact a piece of shit you drama niggers flip flop
→The second someone does something you guys flip flop（～が～した途端お前ら手のひらクルクルじゃん）という構文として覚えると良さそう
-----
I dunno how Niji can be any more clear that Selen was given many chances to change her behavior but stubbornly insisted on flouting the company rules and had to be made an example of. Understandable that people who love Selen will support her even when she's in the wrong though.
頑なに会社の規則に背くことを繰り返し、見せしめにされなければならなかった
insist on: to keep doing something, even if it annoys other people, or people think it is not good for you: I don't know why you insist on talking about it.
flout: 〔人・規則・慣習などを〕軽蔑する、ばかにして無視する［従わない］、逆らう
-----
excising a company that has bad practices and exploits people's interest in the industry will be a long term benefit, even if it makes waves right now
悪しき慣習を持ち、人々の関心を搾取する会社を排除することは、たとえ今波風が吹いたとしても、長期的な利益につながるだろう
excise
1名
消費税、物品税◆【同】excise tax ; excise duty
1他動
〔～に〕消費税［物品税］を課す
2他動
-----
You know you have to admire the grift. Very public divorce proceedings and cheating accusations on top of that and she still doubles down with the GFE. She’s a lying whore but damn, the commitment to the bit.
she has nothing on taylor swift, 12 dicks in her so far
テイラー・スウィフトには敵わない
（人）の弱みを握っていない、（人）のしっぽをつかんでいない、（人）を有罪にする証拠がない、（人）に不利な情報を得ていない
・They think Tim is the murderer, but the police have nothing on him yet. : ティムが殺人犯だと思っているが、警察はまだしっぽをつかめない。
（人）にかなわない、（人）に太刀打ちできない
何も身に着けていない、裸である
-----
Whoa, he means business. : うわ、あいつマジ［本気｛ほんき｝モード］だぞ。◇【場面】遊び半分やジョークではなく、真剣になっている。
----
放っておけば、好き勝手にさせれば
-----
The problem is that NijiEN livers are now all implicated in the scandal, due to the malicious idiocy of the 3 Stooges.
the EN branch just implicated itself in a massive PR disaster that may take months if not actual years to recover from.
-----
But whatever I'm cool go with the flow 流れに任せる
-----
〔論争などで〕言われたら言い返さないと気が済まない◆【直訳】最後の言葉を持たねばならない ⇒ 自分の言葉で議論を終わらせたい。つまり反論できずに黙ってしまうことを望まず、相手を論破して黙らせたい。
——
Huh, guess I don't dig enough in the community outside /here/ and just skirt across the surface.
ここ以外のコミュニティは表面をなぞっただけでちゃんと掘り下げたことがない
〔～の〕周辺を通る、〔～の〕周囲をまわる［巡る］ ・The hills skirt the village. : 小高い山がその村を囲んでいる。
2. 避けて通る、敬遠する ・We skirted a large hole there. : 私たちはそこにある大きな穴を避けて通った。
4. 〔～の〕周辺にある［位置する
——
https://www.mhlw.go.jp/stf/houdou/houdou_list_202001.html
「中華人民共和国湖北省武漢市における原因不明肺炎の発生について」
1月06日
・感染経路：不明。ヒト-ヒト感染の明らかな証拠はない。また、医療従事者における感染例も確認されていない。
https://www.mhlw.go.jp/stf/newpage_08767.html
1月10日（第３報）
原因病原体が新種のコロナウイルスである可能性が高まりましたが、感染経路、患者の発生状況等について新たな情報はなく、対応に変更はありません。
https://www.mhlw.go.jp/stf/newpage_08851.html
「中華人民共和国湖北省武漢市における新型コロナウイルス関連肺炎について」
1月20日（第５報）
・感染経路：不明。ヒト-ヒト感染の明らかな証拠はない。また、医療従事者における感染例も確認されていない
https://www.mhlw.go.jp/stf/newpage_08998.html
1月24日版
○新型コロナウイルス感染症の現状からは、中国国内では人から人への感染は認められるものの、我が国では人から人への持続的感染は認められていません。
https://www.mhlw.go.jp/stf/newpage_09093.html
1月29日版
○新型コロナウイルス感染症の現状からは、中国国内では人から人への感染は認められるものの、我が国では人から人への持続的感染は認められていません。
https://www.mhlw.go.jp/stf/newpage_09196.html
1月30日版
○新型コロナウイルス感染症は、我が国において、現在、ヒトからヒトへの感染が認められましたが、現時点では広く流行が認められている状況ではありません。
https://www.mhlw.go.jp/stf/newpage_09225.html
1月31日版
・国際保健規則に基づく新型コロナウイルス感染症に関する緊急委員会が１月30日未明に開催され、新型コロナウイルス関連肺炎の発生状況が｢国際的に懸念される公衆衛生上の緊急事態(PHEIC)｣*に該当すると声明を発表した。
発表概要は以下のとおり
【現状の認識】
・まだ明らかになっていないことは多い
・各国が早期発見、患者の隔離・治療、接触者の健康観察、接触機会を減少させる対策を実施することで、感染拡大を防ぐことができる
○新型コロナウイルス感染症は、我が国において、現在、流行が認められている状況ではありません。
自分には夢がありました。その夢を叶えるために、様々な苦しい状況でも歯を食いしばり努力を重ね、困難を乗り越えてきました。自分の横にはほとんど常に彼女がいました。時に彼女が自分を支えてくれ、時に自分が彼女の支えとなり、お互いに励まし合いながら今日まで歩んできました。
しかし、いくら努力をしたところで夢とは叶いにくいものです。それは叶えるよりも、追い求めるものなのだと思います。夢を叶える上で問題となるのは、お金と時間です。夢のために給料が支払われない仕事もよろこんで引き受け、深夜3時まで作業をし、朝は7時に起きなければなりません。休日は自己研鑽に使わなければならないため、彼女の相手をまともにすることもままなりません。生きていくためには必要なので、足りないお金は別のしかたで稼がなければなりません。そんな日々の繰り返しを、自分は次第に馬鹿馬鹿しいものだと思うようになってきました。そしてあるとき、もう心がぽきっと音を立て折れてしまい、自分には夢を追い求めることより、彼女とふつうの暮らし（まともな収入があり、休日を休日として過ごせる暮らし）を営むことのほうが望ましいと思うようになりました。
そして、給料がしっかり支払われる別の仕事を見つけたのでした。これで生活のゆとりを奪い、四六時中つきまとう夢を打ち砕けると自分は喜びました。
さて、働く意志を彼女に見せたところ、はたして彼女はみるみるうちに頬を赤らめ、口調は徐々に怒りを帯びてゆきました。曰く、思っていたのと違うとのことでした。どうも、自分が夢を叶えると思ってついてきたにもかかわらず、その夢を捨てるとは何事かと腹を立てているようでした。
自分には彼女の怒りがわかるようでわかりませんでした。たしかに、夢の追求から離れる自分は彼女の思惑を裏切ったのかもしれません。しかし、それによって得られるふつうの暮らしは、それほど嫌悪されるものなのでしょうか。週に5日働き2日は休む規則的な生活ならば、趣味に費やす時間も新しい取り組みを始める時間も十分にあります。一方でもし夢を捨てぬなら、これから何十年も、目をこすりながら夜遅くまで作業をし、休日もろくに一緒に過ごせず、自分のために時間を使い続けなければなりません。だとすれば、当初の目論見とは違えど、ふつうの生活を目指すというのがまともなのだと自分は思います。
彼女はそう思わないようです。夢を負い続ける売れないシンガーソングライターが好きで、彼が現実に戻ろうとするのを阻もうとしてきます。
自分は夢を追い続けなければならないのでしょうか。自分で決めていたはずの夢が、自分の手を離れ、もはや自分ものでなくなっていて、自分の想像力や理想でさえも他者に支配されているかのような感覚です。
コロナ禍でなし崩しに半同棲を始めてしばらく経つんだが、少なくとも俺には不満ないしこのまま結婚するんだろうなーって思ってた。でも彼女は全くそういうことを言わないし結婚を匂わせるようなことを言うと話を逸らされてしまう。で、ついに昨日風呂上がりに「もしかして別れるタイミング伺ってたりする？」と聞いてしまった。彼女は困ったなーって顔して「結婚する気がないわけではないし別れるつもりもない」と言いつつ煮え切らない。じゃあなんで？と聞いたら、「この話を聞いた上でよく考えてくれ」と言われた。
「結婚したら不妊じゃない限り子供産まなきゃいけないと思ってるけどほんとはいらない。でもお互いの両親が可哀想だし、あなた（俺）も可哀想だ。だから他の女の子を探す方がいい」という。彼女は子供欲しくないと言うのは知ってた。子供や赤ちゃんが好きではないと言ってたし、態度から薄々わかってたと言うのもある、店とかで見かける子供もちゃんとしてる子にだけにっこりするタイプだったからね。
俺もすごく子供好きってわけじゃないし別にいらないならいらないで全然いいんだけど、彼女は「嫌いじゃないなら子供を持つべき」。きっと子供が嫌いじゃないんなら自分の子は可愛いだろうし、家族がいるって楽しいだろうと言うんだよね。欲しい・欲しくないの理由について聞いたら、最初は通り一遍の理由だった。お金がかかるとか責任がとかこのご時世に生まれても可哀想……みたいな。もちろんそれも理解できるし異論はない。
でも大抵のことにはっきりした理由がある彼女が言い淀んでる感じがあるのが気になって、深夜まで起こしてぐだぐだ聞きまくったら、なんか俺も全然子供いらなくなってしまった。彼女はそれが嫌らしく、「全部友達とか親に話してみなよ、絶対別れろって言うよ。」と言われてしまった。まあなんとなくワガママに尽きるのはわかる。でも、ほんとに俺も嫌なんだよ。子供のためにも産まない方がいい、でも彼女の親も、俺の親も孫は普通に欲しいタイプ。彼女は割と育ちいい人だから、親からの期待もあるんだと思う。そういうの我慢して子供産むの？はっきり言えばめんどくせえなって所だから、一旦頭を整理してみる。
→彼女は偏頭痛持ちで、痛み止めが効くかどうか微妙なレベルの痛さすらあるらしく、たまにすごい顔して痛みに耐えてる。薬が飲めないのは辛いだろうし、つわりなんかも嫌だろうなと思う。
→感じなくていい痛みを感じたくないそうだ。確かに。無痛分娩はどう？と言ったら、「完全に痛みを消せるわけじゃないし、出産後の痛みもある」確かに。痛い思いしたくはないよなあ。
→べろべろば〜！みたいなああいう怪し方をするのが嫌なんだそうだ。確かに馬鹿らしい。俺はできるタイプだけど、彼女はそういうタイプじゃない。
④交友関係を変えるのが嫌
→彼女はアラサーだが独身の友人が多い（機会がないというより独身派が多いらしい）から、子持ちになって人間関係が変わってしまうのが嫌らしい。ママ友とかもあるしな。俺もこれは嫌だ。
⑤万が一可愛くなかった時困る
→顔とか容姿じゃなくて、こちらの気持ちの問題らしい。産んだら可愛いって言われるけど、普通に可愛くないこともあるだろうという。確かに。病気とかもあるかもしれないしね。俺が可愛がるよ！と言っても、俺もそこまで子供好きじゃないしお互い可愛くなかったら世話するのは嫌だろう。
→夜早く寝て朝早く起きるのが無理だそうだ。確かにな！嫌だよな。俺は自営、彼女は務めてるけど出社はフレックス。子供を育てるってなれば朝ちゃんと起きなきゃならないもんな。
⑦こういう細々した嫌さを他人に悟られるのが無理
→要するに、彼女はこういう不満を持っていることを他人に知られるのが嫌らしい。まともな大人の意見じゃないから、と何回か言われた。正直俺も理解できるし、別にバレないよと言ったけど、これ以上こういう不満を抱えて生きていくことが嫌なんだそうだ。彼女の言葉を借りるなら、彼女はまともな大人だから、余計にプレッシャーなんだろう。
ほんとはもっと色々あったけど、結局⑦がでかいんだろうな。痛い思いして友達減らして可愛くない子供を育てなきゃいけないとしても、彼女はいいママになると思うし。実際、俺は彼女に育ててもらったら幸せだと思うしな。ここまで書いたけど、やっぱり子供いらないよなあ。普通に2人で楽しく暮らしていきたいよ、親の期待とか老後が寂しいとか別に良くね？良くないんだろうな〜彼女からしたら………。
リチャードストールマンのハッカーの哲学は以下のようにまとめられます。
1. Playfulness and Cleverness: ハッカーの哲学は遊び心と巧妙さに根ざしています。何か難しいことを遊び心をもって行うことがハッキングとされています。
2. Exploration and Limits: ハッカーは可能性の限界を探求することを重視しています。新しいアイディアや方法を見つけ出すこと、あるいは既存のものを別の視点から探求することが含まれます。
3. Diverse Activities: ハッキングは単一の活動に限定されず、ソフトウェアの開発から実用的な冗談まで幅広い活動を含みます。MITなどでの活動やコンピュータに限らず、音楽や芸術の分野でもハッカーのアイディアが適用されることが強調されています。
4. Resistance to Silly Rules: ハッカーはしばしば制約や不必要な規則に対して抵抗し、その規則を巧妙に回避する方法を見つけることがあります。これは、自由な発想と巧妙なアプローチを重視する姿勢の一部です。
5. Misunderstanding and Security Breaking: 1980年頃のメディアの報道により、ハッキングは主にセキュリティの破壊行為として捉えられるようになりました。しかし、これはハッカーの多様な活動を無視したものであり、実際のハッカーの本質を誤解させるものです。記者や一般の人々に対して、セキュリティの破壊行為とハッキングを区別するために、"cracking"という用語を使い、それを行う人々を"crackers"と呼ぶことが提案されています。
