  |
はてなキーワード: 級数とは
例えば先進国が共同で食料生産から輸送までを最適化して、世界の食料難を解決しようとする
そうすると一時的に飢餓から開放される。しかし、飢餓から開放された人類は人口爆発によっていつか食料生産が追いつかなくなる
そうすると人口だけが増えつ続けてより、多くのひとが飢餓に見舞われ死ぬことになる
人口は幾何級的に増加するが、食糧は算術級数的にしか増加しないからだ
数百億の人類同士の飢餓からくる健康被害、治安悪化、資源争奪の争いは現代からは想像もつかないものとなるだろう
果たして、この前提に立ったとき食糧を最適化することは正義か悪か？
架空の話ではなく、現状人類はこうならない為に多くの人を見殺しにしてるってのが事実だと思う
よく言われる人権やらなんやらは実は都合の良いときにだけ持ち出されるまやかしだってこと
それ以外に説明つく？
４月は着任４日目から授業って、どうやればいんじゃと悶絶。
４月も中旬になると慣れてきて、何が合っても「まあいいか」とおおらかな気持ちで仕事ができるようになったよ。
４月が下旬になると、サボりかたを覚えてきた。学生よ、ごめんねダメな教員で。
GWが終わって絶賛５月病を発症中です。もう明日は授業やりたくない、天気が良いから休講にしたいぞい。
「高専というものは大学でも高校でもない」と言われていたが、まあ確かにそのとおりだ。
しかし、高専ってのは高専と大学の線型結合だ。つまり、全く新しい何かではなく
（高専） ＝ 0.7 × （高校） ＋ 0.3 × （大学）
って感じだよ。
学生は一様に都会への憧れを抱いていて、これじゃあ地方の未来はないよなあとため息が出る。
卒研はニコ動の「やってみた」（技術部）が許される雰囲気なので、研究テーマ考えるのが苦手な自分にはハードルが低くて良い。
レベル高い研究室は、学会発表くらいまで持っていけそうな雰囲気。学会で高専生が発表すると微妙な雰囲気になる理由がわかった。
高専に来て、間接的に「大学のクソみたいな教育でも大学生を育てているのだなあ」と感心し
高専の1年生だって、卒業までには大きく成長してますよ。ただ、ゴールが違うだけです。
数学を捨てたエンジニアに未来はあるのか？ と思うほど学力崩壊してる。
就職率は高く、なんだかんだで卒業までに職を見つけているから社会的には許されるのだろう。
しかし、コレまで当たり前のようにしていた会話
（後輩）「めんどくさいから、級数解法でやってみたら傾向がみれていいんじゃないスカ」
こんな感じの会話ができないのは辛い。
学生は「こまけえこたぁいいんだよ！」なんて言わないが、いつも何も考えず装置を使ってる。
こういう大胆さってときに大発見につながるからちょっと羨ましい。
飲酒を注意したり、遅刻学生に声かけてみたり、チャリの乗り方にイチャモンつけたり
月に一度の看守ごっこしてみたり、体育祭を盛り上げてみたり...
正直、この方面はあまり興味がないのでテキトーにやって楽しむぞと思っている。
博士課程への進学を投資として捉えれば、たぶん生涯賃金では回収できないだろうと思う。
だけれど、上司からプレッシャーをかけられたり、追い詰められたりしないので良い。
残業代がデないという噂は本当だった、残業の付け方さえ教えてもらえなかった。
チョットでも準備をしようと思うと、帰宅時間が20時を超えてしまうので、終末に向けて疲労が貯まる。
土日は寝てるだけ。これはつまらん人生だな。もうすこし早く退勤する方法を検討中。
てか、システムが基本高校だから朝は勤怠管理されるし勝手に休講出来ないのがつらい。
職場の外では先生として見ないでください。学問の手本くらいにはなれますが、人生の手本にはなれません。反面教師です。
---
国会ウォッチャーです。今日は総理入りで予算委員会集中審議です。これは今村前復興大臣の首の対価なので、大切に使って欲しかったんですが、相変わらず安倍さんは質問に答えないですね。腹が立ちますけど、ぬかに釘と申しますか、これでもいいんだと思われてしまっているんじゃないかと不安になります。安倍さんの基本的な政治姿勢に賛成する人でも、この国会をなめくさった答弁態度は本当に憤ってほしんですが。これはまた別に書く、つもり。
福島のぶゆき議員の質疑、今日は佐川局長も１本取られましたね。まずは、御法川委員長に言われたので仕方なく、あの録音テープのタムラさんが田村室長のものかどうかを確認したら、本人のものとはまぁ一応認めたらけど、細かなことは覚えていないということで逃げていましたが、まぁ本人のものと認めてしまったら、今後業者側の打ち合わせ資料が渡されていないという佐川さんの答弁をどうやって維持していくのかとか難しくはなっていきますね。佐川さんは、まぁ許しがたいけど、災難だったなとは思うわ。
その中で、取得等要望書の１、■■■■■■■■■設置趣意書が黒塗りにされているものについて、森友側は学校設置の認可もなくなり、民事再生法手続きに入っているので、失うものは何もないから、親父さんのほうにも現理事長のほうにも公開の許可を得ているので、これに何が書いてあったかを教えてくれと佐川さんに聞きますが、そこはつわもの佐川局長、当然おいそれとは答えない。しかし、流石の佐川局長ももはや論理的に話せなくなっています。まぁ絶対出すなといわれているでしょうが、出さない理由が理由なので、まともには答えられないのは当然でしょう。
「（略）我々資料を提供する際にはですね、情報公開法における不開示情報に該当するかどうかも検討しながら、可能な限り対応させていただいているところでございます。それでこの取得要望書の中には、事業計画の概要、利用計画書あるいは決算書類、収支計画、あるいは今委員がご指摘の設置趣意書、利用計画などが含まれています。これらはですね、学校運営の手法に該当しまして、公にすることで学校法人の利益を害する恐れがあるということで、ご指摘のとおり、森友学園は認可申請を取り下げておりまして（意味フ。これは明らかに開示側に傾く条件では）、学校法人として存続していることを踏まえれば、当該情報は不開示情報に該当すると考えられますので、不開示にしているところでございます。そして、今委員ご指摘の（開示の）同意書でございますが、ご承知のとおり、４月２８日に森友学園は民事再生法手続きが開始されております。この決定がありますと、管財人が選任されます。管財人は法令上、業務の遂行ならびに財産の管理、処分をすることは、管財人に専属するということになってございます。また情報公開法においても、仮に開示する場合には、行政機関の長（この場合財務大臣かな）から、当該機関に対して、意見書を提出する機会を与える、ということになってございまして、仮に開示する場合でも改めて、財務省から先方に確認のうえ、対応していく必要がある。」業務遂行は破産管財人に専属しているからとは、またえらい屁理屈もってきたな。
「（長いから意訳）そんな答弁だから、世論調査で納得してない人がほとんどになるんだ。どうして民事再生法手続きに入っているから、タイトルを黒塗りにする理由になるんだ。なんで黒塗りにしているかというと、籠池さんの記憶によると黒塗りの部分には安倍晋三記念小学院とかいてあったからだろう。この一番最初の設置趣意書で、安倍総理の名前が出てくるから、みんながいろいろ忖度して進んでいったんじゃないか。なぜ黒塗りのタイトル出せないのか、理由を答えてください。」
「まず、黒塗りの中身について、推測でいろいろ言うのはいかがかと思いますが
（ムスッとする佐川局長、こんなミッション振られて怒りたくなるのもわかる。）
福島（失礼なこというな、ヒアリングしてんだ。失礼なこというな×３、野党騒然）
ご説明いたしましたのは、私どもご説明いたしましたのは、私どもご説明いたしましたのは、民事再生法の手続き上ですね、提出いただいた同意書というものがどういう扱いになるのかということでございますし、私どもの不開示情報におきましては、学校運営に関わることでございますので、利用計画も、設置趣意書も含め、収支計画も含めですね、全体として情報公開法にもとづいて、不開示にしておりますので、法令に基づいた手続きであるということでございます。」
「収支計画とかはまだ理解できますよ。設置趣意書のタイトルはどういう法令に基づいて不開示なんですか、法令に基づいて説明してください」
「お答え申し上げます。開設の概要につきましてですが、今委員は一枚だけお示しになっておりますが、それ以外にも学級数、生徒数、施設概要とうとう、概要にあるわけですが、これは学校法人のノウハウ等に関する情報が公になり、学校法人の全体の、運営方針に関わることでございますので、情報公開法の不開示情報としてございます」（残念、これはタイトルについては答えてない）
（時計止めて、時計止めてもしょうがねぇよ答えてる、の問答で速記とまらないまま佐川局長に再度答弁を求める浜田靖一委員長）
「あのー今委員がご指摘の設置趣意書（のタイトル）についてですが、その下に、学校経営の経営方針等が書いてございますので、そのタイトルも含めて一体として学校の経営方針ということで不開示にしてございます」
「それはタイトルに、学校のノウハウとか運営方針が示すものがあるということじゃないですか。まさに、安倍晋三て名前がこの特例を得るためのノウハウになってるから示せないといっているだけじゃないですか。（以下、財務省のエリートなのに、こんなクソみたいな答弁させられる佐川局長に同情する福島議員）」
（野党側拍手、うまいこと言いかけてるだけど、いまいち文章が決まってないと思う。「タイトルに安倍晋三という名前を入れることが、特例を得るためのノウハウ、運営方針になっているという答弁だと理解をいたしました」とかいって質問をきるのがいいパターンだったと思う。）
平成25年9月2日、これは特例での賃貸が決まったほうの要望書です。鴻池事務所に取り次いでもらったほう。寄付の振込み票よりも前。昭恵夫人から内諾を得たのが平成24年9月、安倍さんが総理になったのは平成24年12月で、総理になったから安倍首相サイドから辞退されたという経緯だったと思うので、いつ断られたのか、というのが重要な情報だと思いますね。官僚は政治家名を語ったゆすりたかりに合うことは、それほど珍しいことではないでしょうから、忖度する前に事務所に確認ぐらいはやってると思うんだけどねぇ。昭恵夫人が、現地の土地を訪問したのが平成26年４月でそのときに
と名前が決まったらしいから、平成25年9月の段階では安倍晋三記念小学院と書いていてもおかしくはないでしょうね。まぁここに安倍晋三記念小学院と書いてあったからといって、忖度しちゃあまずいわけですが、鴻池事務所のメモによると、取得要望提出から10日後の同年9月12日時点では、大阪府がOKだせばGOになっているわけで、値引きはまだだけど、基本売却の土地を賃貸にする特例はすでに認める方向で動いてるんだろうから、まぁやらかしてんだろうけどね。
小学校（あるいは中学・高校）の空き教室を転用して保育所として整備するのはどうだろうか。
公立学校のどの学年も、最盛期に比べたら児童数は絶対に少ないし、35人学級にしたところで学級数も少ないに違いない。
どう転用するのがよいか、わからないけど、感覚的には5つかそこらあれば賄えるんじゃないかと。
もちろん一階部分でね。
乳幼児が近くにいる環境で勉強するのって、悪くないんじゃないかな。
『赤ちゃんにきびしい国で』って境さんの本読んだけど、あれで「赤ちゃん先生プロジェクト」って出てきたよね。
いまどき年の離れた小さい子とふれあう子どもが周りにいないもんだから、
成人すると子供の扱い方がわからなくなって、子供のかわいさも知らない。
だから子ども生みたくないんだよ。子育ての大変さも、子どものかわいさも知らない。
まぁ、そういう世の中になっちまったのは、、、
政府がそんなこと言ったらふざけんな、と言いましょう。
だいたい自民党政権よ、あなたがたが仕事さぼったからこうなったんだよ。え？
男女雇用機会均等法の成立前後だったか、保育園つくるのが煩わしくて「子育ては家庭でやってね」って決めたからだろ？
なのにいまさらどの面下げて「女性活躍」なんて言ってるんだこのやろう。
まずは、学校とか、ほら、役所の使ってない会議室とかあるだろ。どうせ役に立たない議論ばかりやってるとこ。
公民館だっていいんじゃない？杉並は区民センターもあるわけで、それとは別に集会所があるようだ。
だいたいそのへんの施設は老人向けの施設であって、子育て世代のために使わせてくれてもいいんじゃない？
前回、兵庫県芦屋市における小学校建設の問題についての増田を書きました
http://anond.hatelabo.jp/20150401074440
これの続報です。
以前は、小学校の是非について問うものとなっていましたが、事態は変わりました。
まず、私の意見を先に述べておきますと、最終的な市の決定には従うより他ありませんので
今回小学校が建設中止となってしまったことに関しては、納得しています。
ですので、小学校建設が必要か、そうでないかは今回の議論の対象ではありません。
しかし、「教育」が「政治」のための道具として扱われていることが明白となり
その点に関して怒りを隠せません。
別に今に始まったようなことではないでしょうし、色々な所で往々にして行われている
ことではあるのでしょうが、黙って泣き寝入りするわけにもいきません。
以下、経緯を記載します。
http://www.city.ashiya.lg.jp/kanri/documents/ikenkoukankaihaifusiryou.pdf
これまでの経過、に記載があります。
平成８年１月 兵庫県企業庁が『南芦屋浜地区土地利用基本計画』を策定
・合計 約 27,000 ㎡を確保することについて記載
平成１０年～ 10 年～陽光町，15 年～海洋町，16 年～南浜町，18 年～涼風町入居開始
平成２０年 潮見地区と南芦屋浜地区の児童数がほぼ同数となる。（各約 240 人）
平成２３年４月 南芦屋浜地区の児童数（316 人）が１２学級規模に達する。
平成２６年４月 建設公営企業常任委員会所管事務調査において，南芦屋浜地区の教育施
平成２６年８月
～１１月
『南芦屋浜地区教育施設用地幼稚園・小学校建設検討委員会』を設置
（８回開催）
件の小学校建設予定地は、兵庫県企業庁の所有になっており、開発時点で
芦屋市は、企業庁からはいつ学校を作るのか、という問いに対して、それに見合う児童数が
確保できたら、と回答を出しています。
上の経過のように、おそらくは企業庁から、当初言っていた児童数にとっくに達しているのに
去年の８月に急遽、学校設立委員会を芦屋市が立ち上げています。
市の教育委員会で議論が交わされ、学校を新設する方向で市長へ依頼報告が上がってきたようです。
そして、去年の１２月の定例議会において、市長が学校建設を行う方針を発表します。
非常に急転直下な話です。
山中芦屋市長は元々、小学校建設を願っていたそうなので、渡りに船ではあったのでしょう。
その後、今年の２月に「地域住民意見交換会」という名の説明会が催されます。
http://www.city.ashiya.lg.jp/kanri/ikenkoukankai2.html
これには私も参加し、その際の発言も記載されていますが、ここでは市は学校建設は行う、と明言しています。
この時点では、いくつかの反対意見もあることが議事録から伺えます。
しかし、反対意見があろうが、市としては「建設する意思」は覆らないという回答がされています。
そして、今年の３月２６日に芦屋市議会議員の３分２を占める、１４人の議員による「嘆願書」が市長に対して提出されます。
それにより、翌日の３月２７日に、山中市長は急遽、小学校建設の白紙撤回を表明します。
（なんとその同日に、前回もURLを貼り付けましたが消えてしまったようで
ビラが各地にまかれています。
http://i.imgur.com/xY8EpUk.jpg
これは嘆願書を提出して建設を辞めさせた議員が、建設を辞めさせた議員たちと、それに賛同しなかった議員という形で
名前を連ねて、地域にばらまいたものです。明らかに選挙を意識した動きであるのは明白です。
しかし、市長が翌日にすぐに白紙撤回するのがわかっていたかのような根回しのよさですね。
ビラはこの議員だけではなく、他の議員からも色々なものがまかれたそうです）
そして、昨日、４月６日に、今回の件に関する説明会が開催されました。
これが今までの経緯です。
そこに参加をしてきて、ボイスレコーダーで議事を録音してきましたので、必要であればYoutubeにでもアップすることは可能です。
ですが、おそらく市から今回の説明会の議事録が提出されるであろうのでそれまでは保留としておきます。
さて、同日に都合２回開催された説明会ですが、内容としては最初に市長から２分程度の謝罪の言葉があり
後は市民の皆様からの意見を頂戴します、と。ただ市民の愚痴を聞いて発散させて、事なきを得ようという
目論見丸出しの会でした。
この会で、多くの疑問が新たに湧く結果となったのです。
まず、山中市長が小学校建設を白紙撤回させた理由について言及した所
・市議会の３分の２を越える議員からの嘆願書が提出されたことを非常に重く捉えている
との回答でした。
我々が選出した市長と議員の総意が民意であることは理解のうちなのですが、
非公式な場での嘆願書により行われ、議論もすることなく議決を得ることもなく
「決定」に至ったことです。
しかもなぜこの時期に、選挙を目前にしたこのタイミングにそれが行われたのでしょうか。
これは、昨日の説明会に参加をした木野下議員もブログにて言及をしておられます。
http://blogs.yahoo.co.jp/urukino07/68394659.html
今回の14名の議員による白紙撤回を求める申し入れ書について、「議決に準じる。印鑑を押してあり、大変重い」と述べたことです。
じゃあこれから、議案を出す前に、この申し入れ方式をとれば、議会なんか開かなくても済むケースが山ほど出てくるのではないでしょうか？
予め、議員には議案を示し、賛成派・反対派がそれぞれ署名捺印合戦をして、多数を占めたほうが、「申し入れを作り、そこに署名捺印をする」。市長は、その申し入れ書を見て、反対が過半数を占めていたら、議会での論議をする前に撤回してしまう。
ある市民の方が、「議会で論議をしてほしかった」と発言されていましたが、まさに今回は、議会での議論をすることなく、市民的な大きな課題が市長の独断で決められ、議員14名の申し入れ書という形をとって白紙にされたということです。
それともう一つ。
山中市長はしきりに「行政は議会の決定に従うしか無い」と訴えていたのですが、
木野下議員の言うように、今後もそうやって嘆願していけば、決定されてしまうのであれば
Youtubeにもアップしている方がおられるようでした。
https://www.youtube.com/watch?v=aKCjcM63AUA
また、次の疑問はこのようなものです。
教育委員会は浜風幼稚園廃園決定の際、単学級が複数年にわたることを理由にしていました。南芦屋浜においても、小学校を新設しても10年後には単学級になる見込みであり、また、既存小学校の学級数、児童数減少を招くことも明白です。市長は、統廃合はしないと言われるが、教育委員会のこれまでの単学級に対する考え方からすると現実的に統廃合検討の対象となります。
以上のとおり、巨額の建設費を投じた上、毎年多額の維持費をかけることとなる小学校は、建設後10年でその必要性を問われることが明確であり、その必要とする理由にも説得力が感じられません。南芦屋浜地区の住民からも反対の声が大きい小学校建設で、これまで市長が3期12年の間、道筋をつけてこられた行財政運営に対する市民からの信頼を損なうことのないよう、英断をもって、計画の白紙撤回をされることを強く申し入れます。
これは大きく分けると
という２点に集約されることになります。
１つ目の単学級化に関しては確かに問題です。
これから単学級になる学校を新たに敷設するのかという点には非常に納得はできます。
しかし、単学級化はここだけの問題ではありませんし、今日本全国で起きている問題です。
長い時間をかけて取り組んでいかないといけない課題でありますし、教育の観点で考えなければ
それに単学級を防ぐために、学校を市に１つにして家の近い児童も、遠い児童も全員に通わせるような
ことは現実的に難しいでしょう。児童の通学にどれだけの影響が及ぶかという点が置き去りにされています。
これは上でもビラを巻いている議員がいると伝えたように、口をそろえて「７０億円」の無駄な公共事業
と言っています。
これは３０億円の土地費用と、４０億円の学校建設費用と言われています。
しかし、実際には兵庫県の他市の事例でも明らかなように、学校用地の土地を使うことは
兵庫県の企業庁のプランでありますので、定価である３０億円で用地を売るということは考えにくいのです。
これは過去に山中市長も明言されており、実際には４億や５億くらいで土地を取得できると算段されていました。
学校建設費用の４０億円もどんだけ豪華な学校を建てる見積なのかはわかりませんが、
単学級を見込んで小規模な小学校を立ち上げるのであれば、いくらでも縮小化が可能です。
しかしこれらの事実を無視して、反対派の議員は「７０億円かかる」と言い切り、当該地域ではない
市民にそれを伝え反対票を集めているのです。
では今からでも、見積をやり直して学校を建設するかどうかの議論を再開できるのではないか、
との問いには「それはできない」の１点ばり。
これはもうなにかの力が働いているとしか思えません。
山中市長は、３月の時点で１４名の議員から嘆願書が出ているので、
しかし、議員達は７０億円かかると言い続けているわけですし、実際には
それだけの費用はかからないと知っても、本当に議会の決定は変わらないのでしょうか。
その点を重点的に多くの方が意見をしたのですが、山中市長は「無理」としか言わない。
このような決定には納得ができませんし、なにより市議と行政への不信しか残りません。
そして、この事実は多くの芦屋市民が「知らない」まま、４月２６日に統一地方選挙が行われます。
３月に、対立候補として出てきた人がいるのですが、その人は政策に「小学校建設反対」を表明していました。
おそらくは、この市長選で山中市長が「小学校建設推進派」だと、この対立候補との戦いになるので
https://www.kobe-np.co.jp/news/shakai/201503/0007830055.shtml
７０億円かからないのにです。
行政と市議が正常に作動していない状況で、市民が振り回されています。
特に昨日参加をした住民の多くの人は「兵庫県」と「芦屋市」と「不動産屋」がそれぞれ口をそろえて
「学校を作る」と明言したため、家を購入した、移り住んできたという人だったようです。
それは詐欺行為にも等しいのではないかと。
そして、参加した私の感想ですと、山中市長はとにかく「謝らされている」感じがしました。
トカゲの尻尾きりで責任だけ取らされているような感触を受けました。
一方、それ以外の議員は、一体何が起こっているのか、どうなっているのかと
闇を感じますね。
その地域の事はさっぱり分からないから的外れかもしれないけど、
新しく出来た住宅地の場合、限られた年代の人ばかりが引っ越してくるから
子供の数が突然急増してその後急減するって事はよくあるよね。
今足りてなくてもすぐに急減するのが予測出来るなら、敢えて小学校を新設するのは予算の無駄遣いである、ってのは十分理解出来るんだけど。
そうですね。
その辺へ懸念事案ではあるようで、単純に今の推移で考えれば、少子化を考慮にいれれば
ただ、それを回避するために養育モデル地区としてアピールすることで
推移を増加に上げていきたいという意図はあったようです。
土地は確かに少ないですね。
ですが現状では、県営の集合住宅などは空きが多いように見受けられます。
それに、現在空き地が多数あり、それらを住宅用地として整備を行っている真っ最中ですね。
どうしても、三陸沖地震の影響により、津波があった場合に、海の近くなのでということで
販売が伸び悩んでいる現状だそうです。
判断としては難しい所ですね。
http://anond.hatelabo.jp/20140506144603
これだけのものを「ちゃんと」読めば、そりゃあなんとかなるでしょう。
しかし、何万円になるんだ。
数学としてのフーリエ級数展開じゃなくて、MP3に使う、信号解析としてのフーリエ級数展開なんかやるのか？
それは、初耳だったすまん。
オシロスコープで信号入れて、級数展開していくなんて、文系でわざわざ『実験』するとは思わなかった。
DCTなんて、理系のものだと思っていたよ。（当然ここでいうフーリエ級数展開は、MP3に必要な信号知識すべての意味な 数学的ではなくCSだから）
これからは、文系のやつもフーリエ級数展開もDCTも平均的にできるって前提でいいんだｗｗｗ 理系のやつですらできない人いるのに。
つか、意味というか、数学科じゃないからな、CS系は 道具として使いこなすことが求められる。
ステレオタイプの平均の話をしていて、例外は除外ってのは、言ったんだから、除外されて文系で平均的にプログラム用数学をやるってすげーな。それ、理系でいいんじゃね？
第1章 有限オートマトン D.Perrin：橋口攻三郎 1. 序論 2. 有限オートマトンと認識可能集合 3. 有理表現 4. Kleeneの定理 5. 星の高さ 6. 星自由集合 7. 特殊なオートマトン 8. 数の認識可能集合 第2章 文脈自由言語 J.Berstel and L.Boasson：富田 悦次 1. 序論 2. 言語 2.1 記法と例 2.2 Hotz 群 2.3 曖昧性と超越性 3. 反復 3.1 反復補題 3.2 交換補題 3.3 退化 4. 非生成元の探求 4.1 準備 4.2 生成元 4.3 非生成元と代入 4.4 非生成元と決定性 4.5 主錐の共通部分 5. 文脈自由群 5.1 文脈自由群 5.2 Cayleyグラフ 5.3 終端 第3章 形式言語とべき級数 A.Salomaa：河原 康雄 1. 序論 2. 準備 3. 書換え系と文法 4. Post正準系 5. Markov系 6. 並列書換え系 7. 射と言語 8. 有理べき級数 9. 代数的べき級数 10. べき級数の応用 第4章 無限の対象上のオートマトン W.Thomas：山崎 秀記 序論 Ⅰ部 無限語上のオートマトン 記法 1. Buchiオートマトン 2. 合同関係と補集合演算 3. 列計算 4. 決定性とMcNaughtonの定理 5. 受理条件とBorelクラス 6. スター自由ω言語と時制論理 7. 文脈自由ω言語 Ⅱ部 無限木上のオートマトン 記法 8. 木オートマトン 9. 空問題と正則木 10. 補集合演算とゲームの決定性 11. 木の単項理論と決定問題 12. Rabin認識可能な集合の分類 12.1 制限された単項2階論理 12.2 Rabin木オートマトンにおける制限 12.3 不動点計算 第5章 グラフ書換え：代数的・論理的アプローチ B.Courcelle：會澤 邦夫 1. 序論 2. 論理言語とグラフの性質 2.1 単純有向グラフの類S 2.2 グラフの類D(A) 2.3 グラフの性質 2.4 1階のグラフの性質 2.5 単項2階のグラフの性質 2.6 2階のグラフの性質 2.7 定理 3. グラフ演算とグラフの表現 3.1 源点付きグラフ 3.2 源点付き超グラフ 3.3 超グラフ上の演算 3.4 超グラフの幅 3.5 導来演算 3.6 超辺置換 3.7 圏における書換え規則 3.8 超グラフ書換え規則 4. 超グラフの文脈自由集合 4.1 超辺置換文法 4.2 HR文法に伴う正規木文法 4.3 超グラフの等式集合 4.4 超グラフの文脈自由集合の性質 5. 超グラフの文脈自由集合の論理的性質 5.1 述語の帰納的集合 5.2 論理構造としての超グラフ 5.3 有限超グラフの可認識集合 6. 禁止小グラフで定義される有限グラフの集合 6.1 小グラフ包含 6.2 木幅と木分解 6.3 比較図 7. 計算量の問題 8. 無限超グラフ 8.1 無限超グラフ表現 8.2 無限超グラフの単項性質 8.3 超グラフにおける等式系 8.4 関手の初期不動点 8.5 超グラフにおける等式系の初期解 8.6 等式的超グラフの単項性質 第6章 書換え系 N.Dershowitz and J.-P.Jouannaud：稲垣 康善，直井 徹 1. 序論 2. 構文論 2.1 項 2.2 等式 2.3 書換え規則 2.4 決定手続き 2.5 書換え系の拡張 3. 意味論 3.1 代数 3.2 始代数 3.3 計算可能代数 4. Church-Rosser性 4.1 合流性 4.2 調和性 5. 停止性 5.1 簡約順序 5.2 単純化順序 5.3 経路順序 5.4 書換え系の組合せ 6. 充足可能性 6.1 構文論的単一化 6.2 意味論的単一化 6.3 ナローイング 7. 危険対 7.1 項書換え 7.2 直交書換え系 7.3 類書換え 7.4 順序付き書換え 7.5 既約な書換え系 8. 完備化 8.1 抽象完備化 8.2 公平性 8.3 完備化の拡張 8.4 順序付き書換え 8.5 機能的定理証明 8.6 1階述語論理の定理証明 9. 書換え概念の拡張 9.1 順序ソート書換え 9.2 条件付き書換え 9.3 優先度付き書換え 9.4 グラフ書換え 第7章 関数型プログラミングとラムダ計算 H.P.Barendregt：横内 寛文 1. 関数型計算モデル 2. ラムダ計算 2.1 変換 2.2 計算可能関数の表現 3. 意味論 3.1 操作的意味論：簡約と戦略 3.2 表示的意味論：ラムダモデル 4. 言語の拡張 4.1 デルタ規則 4.2 型 5. 組合せ子論理と実装手法 5.1 組合せ子論理 5.2 実装の問題 第8章 プログラミング言語における型理論 J.C.Mitchell：林 晋 1. 序論 1.1 概論 1.2 純粋および応用ラムダ計算 2. 関数の型をもつ型付きラムダ計算 2.1 型 2.2 項 2.3 証明系 2.4 意味論と健全性 2.5 再帰的関数論的モデル 2.6 領域理論的モデル 2.7 カルテシアン閉圏 2.8 Kripkeラムダモデル 3. 論理的関係 3.1 はじめに 3.2 作用的構造上の論理的関係 3.3 論理的部分関数と論理的同値関係 3.4 証明論的応用 3.5 表現独立性 3.6 論理的関係の変種 4. 多相型入門 4.1 引数としての型 4.2 可述的な多相的計算系 4.3 非可述的な多相型 4.4 データ抽象と存在型 4.5 型推論入門 4.6 型変数をもつλ→の型推論 4.7 多相的宣言の型推論 4.8 他の型概念 第9章 帰納的な関数型プログラム図式 B.Courcelle：深澤 良彰 1. 序論 2. 準備としての例 3. 基本的な定義 3.1 多ソート代数 3.2 帰納的な関数型プログラム図式 3.3 同値な図式 4. 離散的解釈における操作的意味論 4.1 部分関数と平板な半順序 4.2 離散的解釈 4.3 書換えによる評価 4.4 意味写像 4.5 計算規則 5. 連続的解釈における操作的意味論 5.1 連続代数としての解釈 5.2 有限の極大要素と停止した計算 6. 解釈のクラス 6.1 汎用の解釈 6.2 代表解釈 6.3 解釈の方程式的クラス 6.4 解釈の代数的クラス 7. 最小不動点意味論 7.1 最小で唯一の解を得る不動点理論 7.2 Scottの帰納原理 7.3 Kleeneの列と打切り帰納法 8. プログラム図式の変換 8.1 プログラム図式における同値性の推論 8.2 畳込み，展開，書換え 8.3 制限された畳込み展開 9. 研究の歴史，他の形式のプログラム図式，文献ガイド 9.1 流れ図 9.2 固定された条件をもつ一様な帰納的関数型プログラム図式 9.3 多様な帰納的関数型プログラム図式 9.4 代数的理論 9.5 プログラムの生成と検証に対する応用 第10章 論理プログラミング K.R.Apt：筧 捷彦 1. 序論 1.1 背景 1.2 論文の構成 2. 構文と証明論 2.1 1階言語 2.2 論理プログラム 2.3 代入 2.4 単一化子 2.5 計算過程―SLD溶融 2.6 例 2.7 SLD導出の特性 2.8 反駁手続き―SLD木 3. 意味論 3.1 1階論理の意味論 3.2 SLD溶融の安全性 3.3 Herbrand模型 3.4 直接帰結演算子 3.5 演算子とその不動点 3.6 最小Herbrand模型 3.7 SLD溶融の完全性 3.8 正解代入 3.9 SLD溶融の強安全性 3.10 手続き的解釈と宣言的解釈 4. 計算力 4.1 計算力と定義力 4.2 ULの枚挙可能性 4.3 帰納的関数 4.4 帰納的関数の計算力 4.5 TFの閉包順序数 5. 否定情報 5.1 非単調推論 5.2 閉世界仮説 5.3 失敗即否定規則 5.4 有限的失敗の特徴付け 5.5 プログラムの完備化 5.6 完備化の模型 5.7 失敗即否定規則の安全性 5.8 失敗即否定規則の完全性 5.9 等号公理と恒等 5.10 まとめ 6. 一般目標 6.1 SLDNF-溶融 6.2 SLDNF-導出の安全性 6.3 はまり 6.4 SLDNF-溶融の限定的な完全性 6.5 許容性 7. 層状プログラム 7.1 準備 7.2 層別 7.3 非単調演算子とその不動点 7.4 層状プログラムの意味論 7.5 完全模型意味論 8. 関連事項 8.1 一般プログラム 8.2 他の方法 8.3 演繹的データベース 8.4 PROLOG 8.5 論理プログラミングと関数プログラミングの統合 8.6 人工知能への応用 第11章 表示的意味論 P.D.Mosses：山田 眞市 1. 序論 2. 構文論 2.1 具象構文論 2.2 抽象構文 2.3 文脈依存構文 3. 意味論 3.1 表示的意味論 3.2 意味関数 3.3 記法の慣例 4. 領域 4.1 領域の構造 4.2 領域の記法 4.3 記法上の約束事 5. 意味の記述法 5.1 リテラル 5.2 式 5.3 定数宣言 5.4 関数の抽象 5.5 変数宣言 5.6 文 5.7 手続き抽象 5.8 プログラム 5.9 非決定性 5.10 並行性 6. 文献ノート 6.1 発展 6.2 解説 6.3 変形 第12章 意味領域 C.A.Gunter and D.S.Scott：山田 眞市 1. 序論 2. 関数の帰納的定義 2.1 cpoと不動点定理 2.2 不動点定理の応用 2.3 一様性 3. エフェクティブに表現した領域 3.1 正規部分posetと射影 3.2 エフェクティブに表現した領域 4. 作用素と関数 4.1 積 4.2 Churchのラムダ記法 4.3 破砕積 4.4 和と引上げ 4.5 同形と閉包性 5. べき領域 5.1 直観的説明 5.2 形式的定義 5.3 普遍性と閉包性 6. 双有限領域 6.1 Poltkin順序 6.2 閉包性 7. 領域の帰納的定義 7.1 閉包を使う領域方程式の解法 7.2 無型ラムダ記法のモデル 7.3 射影を使う領域方程式の解法 7.4 双有限領域上の作用素の表現 第13章 代数的仕様 M.Wirsing：稲垣 康善，坂部 俊樹 1. 序論 2. 抽象データ型 2.1 シグニチャと項 2.2 代数と計算構造 2.3 抽象データ型 2.4 抽象データ型の計算可能性 3. 代数的仕様 3.1 論理式と理論 3.2 代数的仕様とその意味論 3.3 他の意味論的理解 4. 単純仕様 4.1 束と存在定理 4.2 単純仕様の表現能力 5. 隠蔽関数と構成子をもつ仕様 5.1 構文と意味論 5.2 束と存在定理 5.3 隠蔽記号と構成子をもつ仕様の表現能力 5.4 階層的仕様 6. 構造化仕様 6.1 構造化仕様の意味論 6.2 隠蔽関数のない構造化仕様 6.3 構成演算 6.4 拡張 6.5 観測的抽象化 6.6 構造化仕様の代数 7. パラメータ化仕様 7.1 型付きラムダ計算によるアプローチ 7.2 プッシュアウトアプローチ 8. 実現 8.1 詳細化による実現 8.2 他の実現概念 8.3 パラメータ化された構成子実現と抽象化子実現 8.4 実行可能仕様 9. 仕様記述言語 9.1 CLEAR 9.2 OBJ2 9.3 ASL 9.4 Larch 9.5 その他の仕様記述言語 第14章 プログラムの論理 D.Kozen and J.Tiuryn：西村 泰一，近藤 通朗 1. 序論 1.1 状態，入出力関係，軌跡 1.2 外的論理，内的論理 1.3 歴史ノート 2. 命題動的論理 2.1 基本的定義 2.2 PDLに対する演繹体系 2.3 基本的性質 2.4 有限モデル特性 2.5 演繹的完全性 2.6 PDLの充足可能性問題の計算量 2.7 PDLの変形種 3. 1階の動的論理 3.1 構文論 3.2 意味論 3.3 計算量 3.4 演繹体系 3.5 表現力 3.6 操作的vs.公理的意味論 3.7 他のプログラミング言語 4. 他のアプローチ 4.1 超準動的論理 4.2 アルゴリズム的論理 4.3 有効的定義の論理 4.4 時制論理 第15章 プログラム証明のための手法と論理 P.Cousot：細野 千春，富田 康治 1. 序論 1.1 Hoareの萌芽的な論文の解説 1.2 C.A.R.HoareによるHoare論理のその後の研究 1.3 プログラムに関する推論を行うための手法に関するC.A.R.Hoareによるその後の研究 1.4 Hoare論理の概観 1.5 要約 1.6 この概観を読むためのヒント 2. 論理的，集合論的，順序論的記法 3. プログラミング言語の構文論と意味論 3.1 構文論 3.2 操作的意味論 3.3 関係的意味論 4. 命令の部分正当性 5. Floyd-Naurの部分正当性証明手法とその同値な変形 5.1 Floyd-Naurの手法による部分正当性の証明の例 5.2 段階的なFloyd-Naurの部分正当性証明手法 5.3 合成的なFloyd-Naurの部分正当性証明手法 5.4 Floyd-Naurの部分正当性の段階的な証明と合成的な証明の同値性 5.5 Floyd-Naurの部分正当性証明手法の変形 6. ライブネスの証明手法 6.1 実行トレース 6.2 全正当性 6.3 整礎関係，整列集合，順序数 6.4 Floydの整礎集合法による停止性の証明 6.5 ライブネス 6.6 Floydの全正当性の証明手法からライブネスへの一般化 6.7 Burstallの全正当性証明手法とその一般化 7. Hoare論理 7.1 意味論的な観点から見たHoare論理 7.2 構文論的な観点から見たHoare論理 7.3 Hoare論理の意味論 7.4 構文論と意味論の間の関係：Hoare論理の健全性と完全性の問題 8. Hoare論理の補足 8.1 データ構造 8.2 手続き 8.3 未定義 8.4 別名と副作用 8.5 ブロック構造の局所変数 8.6 goto文 8.7 （副作用のある）関数と式 8.8 コルーチン 8.9 並行プログラム 8.10 全正当性 8.11 プログラム検証の例 8.12 プログラムに対して1階論理を拡張した他の論理 第16章 様相論理と時間論理 E.A.Emerson：志村 立矢 1. 序論 2. 時間論理の分類 2.1 命題論理 対 1階述語論理 2.2 大域的と合成的 2.3 分岐的 対 線形 2.4 時点と時区間 2.5 離散 対 連続 2.6 過去時制 対 未来時制 3. 線形時間論理の技術的基礎 3.1 タイムライン 3.2 命題線形時間論理 3.3 1階の線形時間論理 4. 分岐的時間論理の技術的基礎 4.1 樹状構造 4.2 命題分岐的時間論理 4.3 1階の分岐的時間論理 5. 並行計算：その基礎 5.1 非決定性と公平性による並列性のモデル化 5.2 並列計算の抽象モデル 5.3 並列計算の具体的なモデル 5.4 並列計算の枠組みと時間論理の結び付き 6. 理論的見地からの時間論理 6.1 表現可能性 6.2 命題時間論理の決定手続き 6.3 演繹体系 6.4 モデル性の判定 6.5 無限の対象の上のオートマトン 7. 時間論理のプログラムの検証への応用 7.1 並行プログラムの正当性に関する性質 7.2 並行プログラムの検証：証明論的方法 7.3 時間論理による仕様からの並行プログラムの機械合成 7.4 有限状態並行システムの自動検証 8. 計算機科学における他の様相論理と時間論理 8.1 古典様相論理 8.2 命題動的論理 8.3 確率論理 8.4 不動点論理 8.5 知識 第17章 関係データベース理論の構成要素 P.C.Kanellakis：鈴木 晋 1. 序論 1.1 動機と歴史 1.2 内容についての案内 2. 関係データモデル 2.1 関係代数と関係従属性 2.2 なぜ関係代数か 2.3 なぜ関係従属性か 2.4 超グラフとデータベーススキーマの構文について 2.5 論理とデータベースの意味について 3. 従属性とデータベーススキーマ設計 3.1 従属性の分類 3.2 データベーススキーマ設計 4. 問合わせデータベース論理プログラム 4.1 問合わせの分類 4.2 データベース論理プログラム 4.3 問合わせ言語と複合オブジェクトデータモデル 5. 議論：関係データベース理論のその他の話題 5.1 不完全情報の問題 5.2 データベース更新の問題 6. 結論 第18章 分散計算：モデルと手法 L.Lamport and N.Lynch：山下 雅史 1. 分散計算とは何か 2. 分散システムのモデル 2.1 メッセージ伝達モデル 2.2 それ以外のモデル 2.3 基礎的概念 3. 分散アルゴリズムの理解 3.1 挙動の集合としてのシステム 3.2 安全性と活性 3.3 システムの記述 3.4 主張に基づく理解 3.5 アルゴリズムの導出 3.6 仕様記述 4. 典型的な分散アルゴリズム 4.1 共有変数アルゴリズム 4.2 分散合意 4.3 ネットワークアルゴリズム 4.4 データベースにおける並行性制御 第19章 並行プロセスの操作的および代数的意味論 R.Milner：稲垣 康善，結縁 祥治 1. 序論 2. 基本言語 2.1 構文および記法 2.2 操作的意味論 2.3 導出木と遷移グラフ 2.4 ソート 2.5 フローグラフ 2.6 拡張言語 2.7 その他の動作式の構成 3. プロセスの強合同関係 3.1 議論 3.2 強双模倣関係 3.3 等式による強合同関係の性質 3.4 強合同関係における置換え可能性 3.5 強等価関係上での不動点の唯一性 4. プロセスの観測合同関係 4.1 観測等価性 4.2 双模倣関係 4.3 観測合同関係 4.4 プロセス等価性上での不動点の唯一性 4.5 等式規則の完全性 4.6 プロセスの等価性に対するその他の概念 5. 双模倣等価関係の解析 5.1 等価性の階層構造 5.2 階層構造の論理的特性化 6. 合流性をもつプロセス 6.1 決定性 6.2 合流性 6.3 合流性を保存する構成子 7. 関連する重要な文献
http://getnews.jp/archives/80423
どんな観点から見ても変な規制、なんてものはあんまりない。
たとえば、市場競争を促すための規制緩和というのは、往々にして消費者保護法制とトレードオフになってる。業者から見て、競争を阻害するガチガチの規制は、消費者団体や日弁連から見て、必要最低限の弱者保護だとか。消費者団体や日弁連から見て、合格点を与えられる程度の規制は、業界から見て、市場を殺すような規制だとか。後者の典型例が、消費者金融という業界をこの世から消し去ろうとしている上限金利＆総量規制ですな。
こうした両極のどちらかに位置する規制は、その対極からの強い反対により、そもそも導入できないのが世の常。また、トレードオフなんだから、両極がどちらも大賛成、なんてものは、理念的にはあり得ても、現実的にはほぼ絵に描いた餅。結局、実現している規制ってのは、両極がどちらも不平たらたらではあれど、ま、しゃーないか、って反対はあきらめるようなもの。つまり、関係者に感想を聞けば、誰もが反対だったりするけれど、無い方がいいとか、もっと強化すべきとか、その「反対」が持つのは全然違ったベクトルだったりするわけだ。そこをうまく調整できたものだけが、規制として実現する。
「両極」なら、大概は足して二で割れば調整できちゃったりするケースが少なくはない。でも、「業者」が、既得権者と新規参入者とか、大手と中小とか、日系と外資系とか、いろいろと分かれていたりもするし、「消費者」が、都会と地方とか、金持ちと貧乏とか、被害の多寡とか、これまたいろいろ分かれていたりもして、現実は往々にして多極である。多様な第三者が絡むこともあるし。こうなると、調整の難度は幾何級数的に跳ね上がる。
冒頭のリンク先ではとんでもない情報操作がなされているけれど、議員立法は、実は提出だけなら決して少なくない。現与党の民主党は議員立法に抑制的なので政権交代前を見ると、
http://www.shugiin.go.jp/itdb_gian.nsf/html/gian/kaiji171.htm
議員提出法案の数は内閣提出法案の数を上回る。ところが可決・成立する法案は、内閣提出法案の方がはるかに多く、結果的に、多くの規制は内閣提出法案に基づくものとなっている。この差は、偏に調整の有無によって生まれてる。板ばさみに会い多くの関係者から相矛盾する罵詈雑言を浴びながら、汗をかき雑巾をかけ、なんとか皆が許容する妥協案を纏め上げる存在がなければ、法律なんてできっこない。
何故だか経産省の役人には、とりわけ役所に否定的になって転職したOB/OGには、こうした現実の政治過程が（目にはしているはずなのに）わからない人たちが多くて、原氏もその伝なんでしょう。もっともうまく人を騙すのは、騙しを真実だと自らも信じ込んでしまう詐欺師なわけだけど、リンク先の記事もまさにそのように、多くの人々が釣られるんだろうね。船に乗ったはいいけど、船長の「こんなはずじゃなかったのにぃぃぃぃぃ」という叫びを聞いて始めて、騙されていたことがわかる。
原氏の成功報酬が法案成立ベースでなくて法案提出ベースだというなら、自分は船に乗らないわけだから、そのビジネスモデルはご立派なものですが。
バカなんでわからんのだけど、たとえば失業者を年俸300万で国が雇ったとするだろ。
で、当然税金を300万も納めてくれるわけじゃないだろ。
当然、まあ社会保険料を含めて100万も払えばいいほうだろ。
で、残りの200万を一円も貯金せずに散財してくれたら、モノを買ってもらった店に200万の利益があるわけじゃん。
で、その3割がまた税金として徴収されたとすると税収は100万+60万。
その店に残った140万を、やっぱり一円も残らずに散財してくれれば、140万に対して税金が30%かかって税収はさらに42万増える。
100万+60万+42万。
その残りに関しても同じように増えると29.4万税収が増えて･･･、で、結局税収はいくら増えるの？300万超えるの？
100+60+42+29.4+20.58+14.4+10+7+･･･
高校生の数学の教科書引っ張り出して無限級数の和の公式を調べればわかるのかな？教えてエロい人。
200万分モノを買っても、買ってもらった店に200万もないはずだけども。
つーか、まず書き方がヘタクソすぎる。論点がどこなのか、すっと読んで分からない。これは俺の理解力の問題じゃないと思うぞ。はてブでも言われてるし。
実際読んでて、お前が何をしたいのか全然分からなかったから。最後読むまで。
てっきり途中まで「そんなに一万返して欲しいのか」と思ってた。
もっと簡潔に書けよ。なんか無駄にエッセイ気取りの文章が長々とある癖して、肝心の重要なところがさらりと書かれててぼやけてて分からん。
お前が帰れなくなったくだりとか、雨の中歩いたとかそこらへんまるまるカットだろ。
要は
「酔いつぶれた女性がとても一人で帰れそうにないため半ば強引に一万を持たせ、タクシーに乗せ、帰宅した。メールでお礼は来て、それ自体は好印象だったが、その後会社で面と向かってもう一度改めてお礼しに来てくれるかと思ったらしてくれなかった。社会人たるもの、感謝はメールだけで済ませず面と向かって言うべきではないだろうか？なので示唆してみたところ、彼女は無言で一万を返してきた。そうじゃない、と怒ったが、結局僕の真意は伝わらなかった。携帯世代、ガッシ！ボカ！」
ってことだろ？
たったこれだけのことがなかなか伝わってこない。俺も上手くはないが、お前下手すぎだろ。
例えば↑のように書かれていたら、
「そりゃ彼女イカンね.一万すぐ返すべきだし、まあ、メールで言ったとはいえ普通は一応後日面と向かって言うわな」
とフツーに同意されてたろうし俺もそう言ってたと思う。
でもお前、メールでさあ、
私「謝られる様なことをされた記憶は無い」
こんな事言っちゃってるでしょ。これ、何？これ何すか？このオタク臭い言い回し。何のために言ったんだ、コレ？物凄くキメエよ。
彼女が謝ってきてるところにこの、全てを拒絶するような（これ漫画のキャラだったらカッコつくかもしれないけど、リアルでやったらものすごい拒絶感を与えさせるだけだぞ、言っておくけど。まず普通使わないし、こんな台詞）台詞はいてるわけでしょ。
もうこの時点で彼女何すりゃいいのかよくわからんわな。メールでこんな拒絶っぷりだから、「もう関わるな、忘れろ」ってことかとすら思うと思う。（つか、そう思ったんじゃねえの？「言うことあるでしょ」って言われてすぐ一万をわたしたってことは、きっちり覚えてるってことだし、当然もらっていいものだと思ってたわけじゃなく、返す気が普通にあったってことだろ。なのに持ってこなかったのはその可能性が高いと俺は踏むが）
私「・・・何かいうことあるんじゃないの？」
女：１万円を渡してくる
ムカッとした私は無言で自分の席に戻った
女：席についている私の胸ポケットに１万円を突っ込む
私：女のポケットに突っ込み返す
私「ちょっと失礼だよ！色々と．」
私「社会人足るもの頂いたものをそのまま返すとか無いわ」（論点が違う気もするが）
女「１万円分何かかって返せって事ですか？」
私「そういう考えもあるよね．でも，本当にそう思ってるならその１万円を持ってさっさとどうぞお帰りください」
女「なんでそんな冷たい事言うんですか」
私「そういう付き合いがめんどくさいと思うなら，どうぞ」（腕で入り口を指しながら）
女：すたすたと去る
ここらへんで１００ゲンナリ
いや言葉足りなかったとかもうそういうレベルじゃないっす先輩。
つーか、読んでる俺も「こいつは何を言ってるんだ？」状態っす。最後にアンサー（面と向かって感謝が欲しかった）を読むまでマジで「こいつ何がしたいの？」状態だったっす。
まずさ、そりゃ、「面と向かって謝ってこない」ことはたしかにちょっとイラっとはするけども（しかし前述したとおり、そもそも誤ってこないのはお前のメールの対応に問題アリな気がするため、そこにすら同情の余地ねぇｗｗパねぇｗｗ）。にしたってお前、数日引き摺って「何か言うことあるんじゃないの」とか本人に言うほどのこっちゃねえだろ。どんだけ小さいんだよ。そりゃ、全くメールでも何でも何の言葉も一つもなかったならまだしも、一応メールで来てるのにここまで引っ張るか普通？「あれ？メールで終りって事？うーん、なんだかな」で終了だろ！何ねちねち引き摺った上本人に聞いてるんだよ！しかも聞き方がまた陰湿極まりねぇ…ドン引くわ…言いたいことあるならはっきり言えよ！はっきり言いもしないくせに勘違いされたら怒るってどんだけガキよ？自分のそういうガキさ分かってんの？
面と向かって謝る・感謝するのは、まあどっちかっていったら普通だしすべきだわな。だけどな、一万円じゃなくて、『「それだけ（メールだけじゃなくて面と向かって感謝すること）」をここまで引き摺る』って事が、異常な範囲なんだよ、お前。（寧ろ一万円に拘ってるほうがまだ正常ぽい）「面と向かって謝るべきじゃね？」には多分賛同の声は多いけど、「それをしなかったからってここまで引き摺って問いただす」っていうと賛同の声は激減するだろよ。
だから普通、まさかそんな事をここまで引き摺るとは思わんわけ。加えてお前はメールでのキモ返信もある。
その状況で、「何か言うことあるんじゃないの？」ってきたらほぼ１００パー「一万円か！」ってなるて。そこでお前、ならねーよ、「あ、メールでは言ったけれど、改めて面と向かって感謝することか！」って、それ、ならねーよ。１００パー伝わらない。現に伝わってない。言葉足りてないんじゃなくて、間違ってる。
しかもお前その後、何故か無言で去る。
わけｗｗｗｗｗｗｗｗｗわかんねぇｗｗｗｗｗｗｗｗｗｗｗｗｗ
だから言えよｗｗｗ分かって欲しいことをよｗｗｗお口があんだろうがよｗｗｗなんでダダこねる・拗ねることで分かってもらおうとするんだよｗｗｗ
まあ一度出しちゃったし彼女からしたら返すわな、一万。（大体多分、前述したとおり多分最初から返す気だったんじゃねーの？）
おさまりつかないし。でも無言だからポケットつっこみました、ハイ。そしたら、お前、ポケットつっこみかえしましたｗｗｗｗｗｗｗｗｗｗｗ
だからそれさｗ
わけｗｗｗｗｗｗｗｗｗわかんねぇｗｗｗｗｗｗｗｗｗｗｗｗｗ
しかもその次よ。その次で、お前は伝わってない事を、確実に、伝えねばならなかったのに……
私「社会人足るもの頂いたものをそのまま返すとか無いわ」（論点が違う気もするが）
論点間違えちゃったｗｗｗｗｗｗｗｗｗｗｗ最悪ｗｗｗｗｗｗどうしようもなく話ズレていくがなｗｗｗｗｗ最初の時点で既にかなり伝わってないのに肝心のところでテンパったのか何なのか流石に自分でも気付くほどに論点違うこと言っちゃってるがなｗｗｗｗｗ
彼女、意味が分からないですわな。とりあえず彼女から見て、受け取った言語をそのまま解釈しますわな。「何か言うことあるんじゃないの」→一万円→無言→「社会人たるもの頂いたものをそのまま返すとか無いわ」するとどうなる…チキチキチーン！
女「１万円分何かかって返せって事ですか？」
うんそうだよねｗｗそうなるよねｗｗｗ論理的にｗｗｗ
でも、プライドが無駄に高く自分からはっきりとモノを言えずぼかして言うことしかできないがそれでいて執拗である増田は、なぜか自分から論点をズラしておいて訂正せず突っ切るｗｗｗｗ
私「そういう考えもあるよね．でも，本当にそう思ってるならその１万円を持ってさっさとどうぞお帰りください」
いや、これ、本当、彼女からしたらハァ？状態だったと思うよｗｗｗ意味がわからんもんｗ
まずさ「そういう考えもあるよね」じゃねぇだろｗお前の論点間違えた言い分から繋ぐとそれしかねぇだろｗ
その次の「でも」以下もつながりが意味不明すぎるしｗ百歩譲って「分かってんならとっとと返って、その金を品物に変えてこいや」ってことならまだしもそれにしたって「でも」じゃねぇだろし、それを言いたいなら「一万円を持ってさっさとどうぞお帰りください」じゃ伝わらねぇしｗｗｗｗｗもうｸﾞﾀﾞｸﾞﾀﾞすぎるｗｗｗｗｗ
私「そういう付き合いがめんどくさいと思うなら，どうぞ」（腕で入り口を指しながら）
超メンドイっす先輩ｗｗｗｗｗｗ世代じゃないっすｗｗｗｗｗお前とは誰も付きあいたくないっすｗｗｗｗ
自分から言いたいこともはっきり言えずに察してもらいたがる上、相手が間違えたら癇癪おこして、その挙句「もう二度と優しくしない！」とかいっちゃうほど超ナイーブな増田先輩ってもう存在が鬱陶しいッスｗｗｗｗｗｗｗ
「やれやれぇ、言いすぎちゃったかな？フフ、ちょっと泣かせちゃったかもだぜ…」
↓
談笑
↓
「なんで笑ってるんだよ！！！ムカつく！！！もう二度と人間なんかに優しくしないかんな！！！」
ってお前独り相撲すぎﾜﾛﾀｗｗｗｗｗｗ小学生かよおめーはｗｗｗｗｗｗ
いや、お前は若さ以前に幼稚だけどねｗｗｗｗｗｗｗｗｗ
差し出がましいけど怒る事で理解して欲しかった・・・
だからやめろ！そういう「察してちゃん」はやめろ！そういうところが幼稚だってんだ。
言わなきゃ人間わかんねーんだよ！当たり前だろ。アホか？
