  |
はてなキーワード: 理学とは
・矢口蘭堂：早稲田大学政治経済学部政治学科卒業（現役）。在学中に一年間オックスフォード大学に交換留学。卒業後は発足したての国際協力銀行に入行。日本企業が関与する途上国のインフラ整備プロジェクト等に携わる。退職後政治家に。
・赤坂秀樹：父は財閥系商社マン。麻布中学校・高等学校卒業。東京大学法学部第3類（政治コース）卒業（一浪。現役時は慶大法に合格していた）。BCGに入社。在職中にノースウェスタン大学ケロッグスクールでMBAを取得。退職後政治家に。
・カヨコ・アン・パタースン：ハーバード大学を飛び級で卒業。専攻は比較政治学。
・志村祐介：実家は京都の旧家。洛南高校卒業。京都大学法学部卒業（現役）。
・花森麗子：上智大学外国語学部ロシア語学科卒業。卒論のテーマはロシアの対日政策。卒業後、大手保守系新聞社に就職。女性としては異例の出世をする。在職中に執筆した国防論に関する本がスマッシュヒット。TV等にコメンテーターとして呼ばれる機会が多くなり、保守系の論客として名を上げる。保守第一党の誘いを受け、政治家に。
・尾頭ヒロミ：桜蔭中学校・高等学校卒業。京都大学大学院理学研究科修士課程修了（生物学専攻）。
・泉修一：早稲田大学政治経済学部経済学科卒業。在学中には早稲田大学雄弁会の会長を務めた。卒業後丸紅に入社。めっちゃ稼ぐ。退職後政治家に。
・間邦夫：大阪大学理学部卒業（一浪）。アマースト大学卒業。チューリッヒ工科大学にて博士号取得（生物学）。博士課程在学中から欧州分子生物学研究所に研究員として勤め、博士取得後も継続するが、人間関係が原因で退職。日本に帰国するも、日本での人脈づくりを全くしてなかったプラス学説の異端っぷりでアカポスを得ることは出来ず。長い間ポスドクや非常勤講師として糊口を凌ぐ日々が続く。50前にしてようやく城北大学にポストを得るも、准教授より上には登れないでいる。
http://www.sendai-nct.ac.jp/news/2016/07/13/newly-004002.php
この変更点は大雑把に言って次の3点でしょうか。
(1)入学の時点では専門を選ばないようになる（ただし、建築以外）
(2)学科名が変わる
それぞれについて見てみましょう。（筆者は広瀬キャンパスOBなので名取キャンパスについては基本的にスルーします）
(1)入学の時点では専門を選ばないようになる（ただし、建築以外）
今までは入学時点で「知能エレクトロニクス工学科に行きたい！」などと専攻を選ばねばいけませんでした。
しかし、高専志望の中学生が普通の中学生よりも工学に興味を持っているとはいえ、自分に合ってそうな専攻を選ぶのは難しいことです。
たいていの中学生は学科の名前やウェブページの雰囲気で決めると思います。
ゲームを製作したくて情報システム工学科に入学した人が、回路系の授業で苦戦したり、CGの授業が実はほとんどないことを知ったりして、「どうしてこうなった……」となることだって珍しくありません。
（もちろん、卒業後にゲーム関係の企業に就職することは可能です。）
他にも、情報システム工学科と情報ネットワーク工学科の違いが中学生にはほとんど分からない、という問題もあります。
そこで導入予定なのが科類制ですね。
建築系を除くと、とりあえず入学時点では広瀬に行くか名取に行くかだけ決めればOKで、1年間高専で過ごしてから専攻を選ぶわけです。
この1年の間に、先輩からの話を聞くなり、シラバスを読むなりして、どのコースに行くのがベストかを考えられます。
1年生の頃は専門の勉強がほとんどないし、その専門の勉強も内容は（広瀬では）学科共通だったので、特に問題はないかと思われます。
(2)学科名が変わる
広瀬の方では情報ネットワーク工学科が情報通信コースに変わります。
この学科名の変更は大したことがないように見えますが、実はそうでもありません。
仙台電波の頃には「情報通信工学科」という学科がありましたが、そちらに戻そうというわけです。
先ほど中学生は学科名や雰囲気で志望学科を選ぶと書きましたが、なんとなくパソコンやネットが好きな中学生にとって「情報システム工学科」と「情報ネットワーク工学科」はどちらの方が魅力的に映るでしょうか？
今までの入試倍率を見ればその差は歴然です。
平成23年度を除くと情報システム工学科の倍率の方がずっと高いです。
（H22が仙台高専としては初の入試で、このとき情報ネットワーク工学科の倍率がとても低かったため、H23では確実な合格を狙った層が情報ネットワーク工学科を志望した、と筆者は予想しています。）
情報システムの方がなんとなく楽しいことをやってそうに見えるのでしょう。たぶん。オープンキャンパスでCG作品の展示をしていた影響もあるかもしれないけど。
「ネットワーク」という言葉を使うと、どうしてもシステムとの違いが分かりにくいのでしょう。おそらく。（受験生にアンケート調査してみたいですね）
そこで、仙台電波の頃の学科名である「情報通信」コースにしようというわけです。
「通信」という言葉を入れることにより、このコースにはある種のブランドのようなものが生じると考えられます。
今や仙台高専という学校名になりましたが、もともとは東北無線電信講習所→官立無線電信講習所仙台支社→官立仙台無線電信講習所→国立仙台電波高等学校→仙台電波工業高等専門学校という経緯があるわけです。
各電波高専は各地方に存在していた無線電信講習所が元になっています。（電通大ももとは無線電信講習所！）
仙台高専広瀬キャンパスにとって、通信というのは花形分野なのです。
実際、キャンパスを見るとまず目につくのが大きなアンテナだったり、アマチュア無線部が強かったりします。（今も強いですか？2期性がたくさん入っていた覚えがあります）
また、かつての仙台電波高専（仙台電波高校）時代の卒業生が今やお偉いさんになっていたりするわけです。
電波という名前こそなくなったものの、愛子の学び舎で通信を学んできたというのは必ず評価してくれる人がいるでしょう。
そういった点で、この学科の名前の変更は大きな点です。（情報通信コースに優秀な学生が入ることを祈っています！）
ちなみに、情報システム工学科と情報ネットワーク工学科の違いは、電磁波工学などの通信関係をやるかどうかの違い、先生の違い、就職の強さの違い（？）などが挙げられます。
ネットワーク関係に関しては両学科ともCISCOのe-learning教材を使って学びますが、情報ネットワーク工学科の方がより力を入れている印象です。
また、通信には法規の知識が必須ですが、情報ネットワーク工学科ではそれも学べます。
目指せ一陸技！（通信を大プッシュしたわりに、筆者は一陸特しかとってなかったりします……）
「数学や理科を深く追求して，サイエンスをテクノロジーに結びつけるために必要なことを幅広く学びます。」とだけ書いてあります。
これの詳細についてここで書くのはまずそうな気がしますし、これから変更があることも十分考えられるので、具体的なことは書きません。
そこで、高専にもこういったコースの需要がある、ということだけ説明しておきたいと思います。
高専は大学と違い、本来のモチベーションは研究ではなく、技術者の養成です。
その意味で、応用科学コースのようなどことなく理学の匂いを漂わせるものは不適なのではないか、と思う人がいるかもしれません。
しかし、応用科学コースはおそらく大学工学部で学ぶような基礎的な数学や物理学程度の内容を教えるようなものになるかと思われます。
高専は若いうちから専門の教育をするのが最大のウリなわけですが、専門の内容を正確に理解するのに必要な数学や物理の授業はそれに追いついていません。
電子回路を例に挙げてみましょう。
半導体の物性を理解するためには量子力学や統計力学の知識が不可欠です。
しかし、量子力学や統計力学は知能エレクトロニクス工学科以外では学びません。（一方で、電子回路は全学科で学びます）
知能エレクトロニクス工学科でも、正確に半導体物性を理解するのに必要なところまで物理を学ぶかは怪しいです。
それ以外にも、高専ではフーリエ解析やラプラス解析を学ぶ前に交流回路網の計算を叩き込まれたりします。
数学や物理が追い付いてない以上、「それはそういうものだから原理は気にせず覚えてね」という指導にならざるを得ないわけです。
その結果、「もっと原理を深く知りたい！」という人や、「これだから工学は嫌！」という人が出始めてきます。（これで工学が嫌になって理学部に行く人もいますが、大学の工学部はその意味では高専よりずっとまともなので、工学部に行くという選択肢を簡単に捨てたりしないといいなと思います）
大学編入志望の学生が集まりそうな感じはしますが、そもそも大学編入したい人は専門をより深く勉強したい勉強好きの人が大多数だと思うので、まあ問題ないんじゃないでしょうか。
一部の人が望んでいるかもしれない、編入試験特化型の授業にはならないと思います。
※検索対策で、一部伏字にしています。（読みづらくて、すみません。）
いま、行動●理学が取り沙汰されて久しいけれど、そのルーツのひとりに、ス●ナーがいる。で、彼はいろんな学派に影響を与えていて、かならずしも行動●理学だけじゃないんだ。たとえば、そのひとつが「New Pychology of Success」と言われる分野。成功●理学とでも訳すべきか。「mindset」というのは、その●理学分野のテクニカルタームだったりする。●理学一般の用語として「ス●ーマ」とか「認●的枠組み」とか言われているものとどう違うんだろう？というギモンはこの際、置いておいて……。
例えば、子供へのインタビューをもとにしたこんな事例研究で使われる。
Question１: 言いつけを守らなくて、両親に叱られたときのことを想像してごらん。なぜ両親は、あなたのことを叱ったのだと思う？
硬直的mindsetの子：ぼくが、言いつけの守れない悪い子だから、叱ったの。
柔軟なmindsetの子：この次は、ちゃんとできるようになって欲しいから、叱ったの。
Question２:友だちと遊んでいて、何かを独り占めしちゃって、両親に叱られたとするね。どうして両親は、あなたのことを叱ったのだと思う？
硬直的mindsetの子：ぼくが、独り占めするような悪い子だから、叱ったの。
柔軟なmindsetの子：友だちと仲良くするにはどうすればいいのか、ぼくにわかってほしいと思ったから、叱ったの。
事例につづく、解説を転記。
☆ ☆ ☆
子どもたちは幼いころからこうした教訓を学んでいる。よちよち歩きの頃からもう、親の発するメッセージを敏感にキャッチしている。そして、間違いをしでかすとダメな子のレッテルを貼られて罰を与えられるんだ、と学んでしまう子もいれば、間違えたときにはアドバイスしてもらえたり正しいことを教えてもらえたりするんだ（から、直せばいい：※拙訳補足）と思うようになる子もいる。
相手の反応を見て学んでいくのは、子どもだけではない。親のほうも、わが子のちょっとした行動を読み取って、それに応答することを覚えていく。
新米ママが赤ちゃんにおっぱいを飲ませようとしても、赤ちゃんは泣くばかりで、なかなか乳を飲もうとしない。ちょっと吸ってみただけであきらめてしまい、またぎゃーぎゃー泣き出すこともある。
赤ちゃんて、こんなに扱いにくいものなの？ こんなに手がかかるものなの？ それにしても、おっぱいの飲み方なんて、生まれつき知っているんじゃなかったの？ 赤ちゃんは、おっぱいを飲む名人のはずじゃないの？ うちの赤ちゃんはどこかおかしいのかしら？
「初めのうちは本当にイライラしたんです。でも、●理学の研究を思い出して、赤ちゃんにこう語り続けたんです。『あなたもママも、どうすればうまく吸えるか、今、学んでいるところだからね。おなかがすいたよね、つらいよね。でも大丈夫、あなたもママもだんだんうまくなっていくから』って。こんな風に考えると、イライラすることもなくなり、うまく飲めるようになるまで落ち着いて導いてやることができました。この考え方は、他のことを教えるときにも応用できて、赤ちゃんのことを理解するのにとても役立ちました。」
私たちも、優劣や善悪の判断を下すのはやめて、自分を教え導いていこう。今、まさに学んでいる最中なのだから。
☆ ☆ ☆
ス●ナーの徹底●行動●義の立場もそうなんだけど、この学派の要は、変化・成長への信頼なんだなあ、と思う。子供でも・大人でも、人はいつでも変わることができる。いま限界があることでも、やがてこの先、変わることができる。自分に欠けていることでも、少しずつ学んで習得できる、ってね。
自分が親からもらっていないことでも、自分の特性が苦手としてきたことでも、たしかに事実だしそれは現状なんだって受け入れたうえで、「それが、自分だ」って決めつけなければ、「どうせ、運命だ」ってあきらめなければ、自分は変わることができるんだということ。こんなに嬉しいことは、ないよね。
いや、理系医学部以外の最高峰の物理学科なんてロンダ率ひどいぞ。
そもそも内部学生70人くらいに対して院の店員が300から400人位だからな、
ただ、特にその辺の学生は一応入るときは結構本気で研究しようと思って外部から来る子も多いんだよね、実際。
だけどその殆どが入ってすぐにムーリーってなって一気にただのロンダモードに入って就活しかしなくなる。
まあ、可哀想なもんなんだよ、東大に入り込んでちょっと有頂天になって地獄に突き落とされてそこから逃げるようなもんだから。
だからこそ、そこから逆にそれを利用しないとやってらんないんじゃないかね、
トラバ全部見てないので、多分同じこといってるひとがいるとおもうけど
円周率を円周と直径の比率として定義した場合、直径が大きくなればなるほど円周率は小さくなる。
直径が大きくなるって、なんだ。平面上でそんなことできないだろう！というのはそのとおり。
つまり、平面上でなければいい。
具体的なモデルを挙げると、おっぱいの上の乳輪の面積を考えてみよう。
理想的なつるぺた平面では乳輪の面積はπｒ＾２が成り立つが、巨乳の場合、乳の膨らみぶんだけ直径が曲線となり、平面と比べて直径は膨らむ。
つまり、同じ円周の乳輪の場合、理想的なつるぺた平面よりも巨乳おっぱい表面の方が直径が大きくなるわけだね。
他の具体的なモデルだと、
乳首の存在を考えて空間に凸してるところがあると、凸の出っ張り部分だけおっぱい表面における直径が大きくなるね。
陥没乳首の存在を考えて空間に凹してるところがあると、凹の引っ込み部分だけおっぱい表面における直径は大きくなるね。
つまり、問題文ではユークリッド空間であるとは明示されていないのだから、円周率が3.14を満たす空間はこっちで勝手に想定しても問題文そのものを満たすだろ、という話。
＞円周率が3.14を満たす空間はこっちで勝手に想定しても問題文そのものを満たすだろ
というのはおかしいだろ。問題文に書かれてないことを勝手に想定するなんて！
メーカーに勤め初めて2年。
何がしたいのか分からなくなってきた。
求められるのは、わかりやすさと結果だけ。
プロセスとかスキルとか、数学とか、そんなものはなんでもいいと…。理解する気もないと…。
実行者の専門性とか、分かっていること、いないこと、その辺りも考慮しない。
とにかく結果と分かる説明。
それを「やれ」言っている本人は、難しさや本質、理論的、数学的な側面をあまり理解しようとしない。
建て前だけで、「何が難しいのか、分かるように説明しろ」という。
専門的な知識や、スキルを見極めて、専門家を専門家として利用することに頭を使えばいいのにとつくづく…。
効率の悪い人使いで、無駄な仕事が蔓延しているようにしか見えない。
結局、日本では「最先端の科学技術！ 技術者すごい！」とかいいながら、
その実、何が凄いのかを理解し、評価しようとする人がいないように感じる。
だから、「目に見える」、「わかりやすい結果」の出にくい、数学者とか、理学者といった理論屋、はたまた博士の学生がバカにされ、冷遇をうける。
そのくせ、ノーベル賞（誰にでも理解できる結果）が出ると、無条件にその人を賞賛する。
あなたがそういう感覚を持っていることは良く分かるんだけど、何で人文系とかを持ち出したかというと、「合理的」という言葉の示す範囲について色々な解釈ができると思ったからだよ。つまり「理系は合理的」と言われてあなたが違和感を覚えた時に、その「合理的」というのを工学的なコンテキストでの合理的(「合目的的」に寄った意味)と狭くとらえているんではないかなとね。「理系は{工学的な文脈で合理的}である」と言われりゃ理学の人ははぁってなるだろうさ。おおもとのエントリからは「合理的」がどの範囲を指しているか自明ではないので、理学・工学に共通する特有の合理性について話しているのかもしれないし(それならその説はおかしくない)、もっと広い合理性について言っているのかもしれない(その場合、理系と限定するのは別の意味でおかしい、ということになる)。つまり文脈を知らない立場から見て、あなたは(1)複数に解釈できる命題について(2)特定の解釈を選び(3)自分の選んだ解釈について文句を言っている、ように見えたってこと。
六つ子の長男「おそ松」の無邪気で傍若無人なところ、ナチュラルなスクールカースト上位者という感じがする。
公立の小中学校って、こういう性格の男子が無双してない？このネアカで強引でサイコパシーな感じ。
「俺、お前のことスゲー面白いヤツだって思ってるんだよ？」「好きだから構ってやってんだよ？」というノリで、
傍から見るとイジメみたいな待遇で人を扱ってそう。同級生に居たら超怖いやつ。
人に優しくしてみる時もあるけど、俺ルール俺基準で優しくする。飽きるときもスッと飽きる。
人にどう思われるか全く気にならない、徹底的な「自分の気持ちに正直」というやつで、その真っ直ぐなナチュラルさが怖いとすら思う。
というかおそ松兄さんぽい知人がひとり居て、モテるけど誰とも真面目に付き合ったことがない。
おそ松兄さんの性格がタイプだという女性、不幸フラグ立ってる気がする。
末っ子のトド松もスクールカースト高そうだけど、こっちはナチュラルじゃない。カースト上位者に必要な要素を狙って集めてる。
チョロ松と一松にもカーストが見えていて、トド松のように上位を狙う意欲が無くて「ケッ」となってる感じがする。
カースト自体が見えて無さそうなおそ松兄さんとは根本的に違うなと思う。
カースト見えてない：おそ松、カラ松、十四松
という感じ。
今はおそ松兄さんが「六つ子全員ニートでいいじゃん」という空気を作っているから、チョロ松が何と言おうとそういう空気だけど、
おそ松兄さんが「俺らもう26だぜ？」とか言い出したら、マジで就職しなきゃなという空気になりそうな気がする。
それまで「寂しいから」と弟の自立を阻んでおいて、自分が「就職っぽい気分」になったらしれっと就職するような、
自分の発言を自分で忘れている系の、天然で無茶苦茶な人の匂いがおそ松兄さんからはするわ。
作中でカラ松がサイコパスって言われたけど、おそ松兄さんの方がサイコパス感強い。
カラ松単体にカースト上位感は無いなあ。
おそ松兄さんは人の名前をよく呼ぶけど、カラ松は人に呼び掛けることが少なく、「逆ナン待ち」とか、コミュニケーションが結構受け身。
ウィンドの音を聞いてる俺、スカイの香りを嗅いでいる俺、サンシャインを浴びている俺。とにかく俺。話しかけてもらうために派手な服装をする俺。
兄弟の中でも根がビビリなほうとして描かれてるし、承認欲求が強いところも、学校みたいな同年代の集まる場ではナメられそう。
受け身の人って騙されやすくもある。ぼったくりバーの話や、「生パンティ付きのエロ本」を買ってたこと、あれも騙されやすさだよね。
兄弟を攻撃するようなことを決して言わないし、性格が温厚なんだと思う。
自分の中に悪意が少ないから、人から露骨に馬鹿にされたとしてもそれを馬鹿にされたと感じなくて、結果としてダメージを受けにくい。
チョロ松はイヤ代の回で「一軍の人来ちゃった」と感想持ったあたり、スクールカーストがっつり把握してそう。
兄弟の中では暴言吐きまくるけど、外では品行方正な、プライド高い内弁慶って感じ。
「こうありたい自分」のイメージと現実の自分とのギャップが大きくて、ストレス値高そう。
作中でもツイッターやってる描写があるし、インターネットに居る男という感じがすごくする。
自意識グラグラ感あるから、おそ松によくイジられるのもわかる。トド松のこと妬んでそう。
一松はお笑いが好きそう。お笑いに詳しい根暗という感じがする。そういう男子居たじゃん。
もともと真面目で人目を気にして消耗しがちなタイプだったのが、江頭2:50的な破天荒芸に救われて、脱糞とか下半身芸に突っ走ってる感じ。
Mr.ビーンの人って実は理学修士だけど、あの人にちょっと似てて「頭が良いけど顔芸ヨゴレ芸をすすんでやる」みたいな印象ある。
でも脱糞芸みたいなのって、やりすぎで、普通の女子は引くじゃないですか。
可愛いまともな女子ほど「明るいスポーツマンがおちゃらけてみせる」みたいな、眠てぇノリに笑うじゃないですか。
そういうのをくだらねーと思ってて、不謹慎な笑いでもOKとされるお笑い芸人っぽいホモソーシャルなノリが好きなんだと思う。
外の世界の方がオシャレで健康的で快適と感じてるトド松とは逆で、一松は松野家の兄弟ホモソーシャルノリが居心地が良さそう。
トド松が「こういうオシャレでまともな可愛い子と付き合いたい」って感じるような女子のことが一松は苦手そう。
でもこじらせ女も面倒だから、女全般が苦手そうなんだよね。公式でケモナーなのも納得感ある。
十四松はちょっとよくわからない。いじめられていた説もピンとこない。なんかスゲエ奴としてカーストの外側に生きてた気がする。
チョロ松とトド松がスクールカーストについて話す回とか無いかなあ。
トド松の10年後とかもすごい見たい。要領が良くて行動力もあるから、家を出て何かやってそうで気になる。
あと一松も気になるかも。卑屈な引きこもりのまま10年とはならずに、何かに適性があって、ふっと社会適応するような、
http://anond.hatelabo.jp/20160107125638
暦の上では今日が成人の日なので、「成人式って出た方がいいの？」のはてブのコメントで酒を勧めているコメントを抜き出して簡単に検索できるようにしてみました。検索はGoogleとAmazon。例によって、全ての検索結果を確認している訳ではないので、見つからなかったら検索ワードに酒とかを加えてみてください。本当は、Amazonのリンクにアフィリエイトを貼りたい。でも、やっぱり人の褌で相撲を取るようなイメージがあるのでやらないことにしています。増田の文字数制限に引っかかっているので4部構成です。では、どうぞ。(プレビューだと2分割でいけたのだが、登録すると文字数制限に。というわけで4分割に。ちょっと迷惑？)
| はてなID | コメント | 検索ワード | Google検索 | Amazon検索 |
|---|---|---|---|---|
| sugimurasaburo | やさぐれていたので競馬場に行ってました。「天覧山 古酒」 | 天覧山 古酒 | (G) | (A) |
| trini | 馴染みのある土地じゃないし、地元じゃなかったから行ってない「黒よかいち芋」 | 黒よかいち芋 | (G) | (A) |
| random_walker | 当時成人式の翌日が数理論理学(必修)の試験だったので行かなかった。／単位は落とした。／ブラックニッカディープブレンド | ブラックニッカディープブレンド | (G) | (A) |
| renkon01 | 知り合い居ないし行っても無駄と思ったので/ピーチツリー・フィズ | ピーチツリー・フィズ | (G) | (A) |
| adramine | 中学の担任含め二十数名まとめて酔い潰したが、最後には前後不覚になった思い出しかない。でも、今は酒飲まないからそういう事も無いのかなぁ……。百十郎か富久長 | 百十郎 | (G) | (A) |
| adramine | 中学の担任含め二十数名まとめて酔い潰したが、最後には前後不覚になった思い出しかない。でも、今は酒飲まないからそういう事も無いのかなぁ……。百十郎か富久長 | 富久長 | (G) | (A) |
| watatane | まぁ人生の思い出作りの一部として行ったほうがいいんだろうなぁ、ちょっと後悔してる／パンクIPA | パンクIPA | (G) | (A) |
| deneb-y | 行った。けど シーバスリーガル12年 | シーバスリーガル12年 | (G) | (A) |
| tamilele | 出たけど所用で途中退席した/志賀高原ビールの山ぶｓ(途中) | 志賀高原ビール 山伏 | (G) | (A) |
| QJV97FCr | 前日まで行く気満々だったけど朝起きたらダルかったから行かなかった。人生において何も支障はなかったよ。「秩父錦しぼりたて」 | 秩父錦しぼりたて | (G) | (A) |
| c_shiika | 成人式の次の日が授業だったんで地元に帰れなくって、知らないところで成人式に出るのもめんどくさいしって思って部屋で昼寝してましたけど、前に飲んだ写楽って日本酒がおいしかったです。 | 写楽 日本酒 | (G) | (A) |
| kuzira4ever | 行ってない 「福寿」って日本酒正月に飲んだけど美味かった | 福寿 日本酒 | (G) | (A) |
| guinshaly | 写真だけ撮った「南部美人 糖類無添加梅酒」 | 南部美人 糖類無添加梅酒 | (G) | (A) |
| kosui | ラグビーの日本選手権見てたわ／ペールラバのブランとか… | ペールラバ ブラン | (G) | (A) |
| merico2404 | シャーリテンプル(飲めない)/同級生ヤンキーばっかで恐かったのでゲーセンでポップンしてました | シャーリテンプル | (G) | (A) |
| koenjilala | 成人式も、大学の卒業式も行かなかったけど、特に後悔はないよ。お金と時間がかかる儀式って、とことん嫌いなのよね。２０歳くらいによく飲んでたお酒は「電気ブラン」だよ-☆ | 電気ブラン | (G) | (A) |
| hiruhikoando | 「成人式」と「大雪」と「翌日、センター」はセットとなっていたんだよなあ。さすがにセンターは日程移動したが。「２浪は人扱いされない」根拠の一つ。/オールドエズラ12年。値段を倍にしてもまだお釣りがくる旨さ。 | オールドエズラ12年 | (G) | (A) |
| NORITA | めんどくさいと思って行かなかったら友人数人から「なぜいないんだ」と電話がかかってきた記憶 /「而今 特別純米」 | 而今 特別純米 | (G) | (A) |
| mocchi_rie | 不登校だったし、同級生とそんな仲良くなかったから出てないけど、そんな後悔はしてないな。オススメは金鼓の濁酒。ドロドロのどぶろくだけど、甘すぎず味がしっかりしてて、米食べてるみたいで超美味い。 | 金鼓 濁酒 | (G) | (A) |
| rotting_corpse | 行ってないし後悔もない。ただ後悔できるような過去があればよかったのになとだけ思う/ウメッシュ | ウメッシュ | (G) | (A) |
| type-100 | 人気一ってメーカーの酒が好きでね/地元の同世代と縁が切れてたのと、大学で用事があったので行かなかったな。行ったら行ったでなんぞ楽しめたのかも知れんが。 | 人気一 | (G) | (A) |
| nomitori | 日本酒あんまり得意じゃないけど鳳凰美田と而今ってやつのはどれも美味いと思っただ。 | 鳳凰美田 | (G) | (A) |
| nomitori | 日本酒あんまり得意じゃないけど鳳凰美田と而今ってやつのはどれも美味いと思っただ。 | 而今 | (G) | (A) |
| arisane | 岩手から地元鹿児島に戻って出席したけど、小中高の同窓会が一気にできて楽しかったぞ。中学のクラスメイトがホリプロに入っててカメラマン連れてた記憶ある / 美味いし贈り物としても喜ばれる「薩摩宝山 福寿」 | 薩摩宝山 福寿 | (G) | (A) |
| mobanama | スピリタス。鷽。当時はシャルトリューズの緑が好きだったかも。そんなもん、出なくてもいいんじゃね。ぶくまで「心残り」とか書いてあって、何の?と素でおもた。人によるんだね。 | スピリタス | (G) | (A) |
| mobanama | スピリタス。鷽。当時はシャルトリューズの緑が好きだったかも。そんなもん、出なくてもいいんじゃね。ぶくまで「心残り」とか書いてあって、何の?と素でおもた。人によるんだね。 | 鷽 | (G) | (A) |
| mobanama | スピリタス。鷽。当時はシャルトリューズの緑が好きだったかも。そんなもん、出なくてもいいんじゃね。ぶくまで「心残り」とか書いてあって、何の?と素でおもた。人によるんだね。 | シャルトリューズ 緑 | (G) | (A) |
| Arturo_Ui | ストリチナヤ（ウォッカの銘柄）を冷凍庫（<<冷蔵庫ではない）で冷やして頂くのが大好きです//なお欠席した経緯は、泥酔して帰宅した際、入場ハガキを破り捨てたから。まあ地元の友人は少なかったし特に問題もなし。 | ストリチナヤ | (G) | (A) |
| YukeSkywalker | キャプテンモルガン。 | キャプテンモルガン | (G) | (A) |
| naoya | やまとしずく 純米吟醸 | やまとしずく 純米吟醸 | (G) | (A) |
| amazu81 | 能古見 | 能古見 | (G) | (A) |
| usaginokainushi | 天吹の大吟醸と新政の26BYとかいうやつ。／数人の方があげている而今も好き | 天吹 大吟醸 | (G) | (A) |
| usaginokainushi | 天吹の大吟醸と新政の26BYとかいうやつ。／数人の方があげている而今も好き | 新政 26BY | (G) | (A) |
| papaopao | ディズニーのあるとこだけど熱出して行けなかった。行けなかったのは別になんともだけど、世間話で出身地の話題から成人式の話はよく出るので行かなかったというとなんか怪訝な顔されるラフロイグ。 | ラフロイグ | (G) | (A) |
| mukudori69 | 宮城の日高見、高知の酔鯨、秋田の春霞・翠玉／いや出たしそのあとの飲み会も普通に出たけど。かといってそれが貴重な体験だったともおもわぬ | 宮城 日高見 | (G) | (A) |
| mukudori69 | 宮城の日高見、高知の酔鯨、秋田の春霞・翠玉／いや出たしそのあとの飲み会も普通に出たけど。かといってそれが貴重な体験だったともおもわぬ | 高知 酔鯨 | (G) | (A) |
| mukudori69 | 宮城の日高見、高知の酔鯨、秋田の春霞・翠玉／いや出たしそのあとの飲み会も普通に出たけど。かといってそれが貴重な体験だったともおもわぬ | 秋田 春霞 | (G) | (A) |
| mukudori69 | 宮城の日高見、高知の酔鯨、秋田の春霞・翠玉／いや出たしそのあとの飲み会も普通に出たけど。かといってそれが貴重な体験だったともおもわぬ | 秋田 翠玉 | (G) | (A) |
| takiguchi_t | 楢の露 | 楢の露 | (G) | (A) |
| irodori_kotori | おばちゃんは成人式の日に関東では珍しい大雪になって、振袖で山の上の会場に行くのを断念したわよ！友達も皆そうだったから後悔とかない。／ZIMA好き。 | ZIMA | (G) | (A) |
| confusion8 | 鳳凰美田の燗酒 | 鳳凰美田 燗酒 | (G) | (A) |
| kiwi-1680 | 佐渡ヶ島の真綾 | 佐渡ヶ島 真綾 | (G) | (A) |
| dusttrail | 成人式は出なくていいけど女なので振袖借りて写真ぐらいは撮っておいてもよかったかなーと思スミノフアイスグリーンアップルまあそんな金あるなら父ちゃん母ちゃんにごちそうでもしてあげるのがいいかも。 | スミノフアイスグリーンアップル | (G) | (A) |
| trash__box | 醸し人九平次 純米大吟醸・別誂 | 醸し人九平次 純米大吟醸・別誂 | (G) | (A) |
| oplika | 出たけど会場満員だったらしくて外で駄弁ってた。/大吟醸北雪、白岳しろ | 大吟醸北雪 | (G) | (A) |
| oplika | 出たけど会場満員だったらしくて外で駄弁ってた。/大吟醸北雪、白岳しろ | 白岳しろ | (G) | (A) |
| sweetmusicjp | 新宿区ですが地元に友だちがいなかったので不参加でした。特に後悔なし。七本槍や松の司と鮒寿司で乾杯。 | 七本槍 | (G) | (A) |
| sweetmusicjp | 新宿区ですが地元に友だちがいなかったので不参加でした。特に後悔なし。七本槍や松の司と鮒寿司で乾杯。 | 松の司 | (G) | (A) |
| zazu0311 | 出なくても人生に大きな支障はなさそうだから、出たければ出ればいいし出たくなければ出なくていいんじゃないかな。ぼっちが行ってもつまらなそうだし個人的には興味ない。好きなお酒はモスコミュール。 | モスコミュール。 | (G) | (A) |
| cartman0 | プレモル | プレモル | (G) | (A) |
この記事は博士課程 Advent Calendar 2015 - Adventarの５日目のエントリです。前回はid:kybernetesさんのこの世界への関心を諦めない人に博士課程はオススメ - 表道具でした。
(今年は無事に退学せず済みそうなので、退学 Advent Calendar 2015 - Adventarじゃなくてこちらに参加します。)
http://anond.hatelabo.jp/20141201200815]から大幅にテンプレート拝借。
Q1. 博士課程ってなんですか
A1. 大学院入試の面接で「進学するつもりはある？」って聞かれるあれ
たいていの理系人生において、ここに進むか否かで修士課程終了後の幸せ曲線が大幅に変わるともっぱらのうわさ。（私はまだ実感してないんですが、この手の話聞くたびおっかない）
Q2. なんで博士課程に進学するんですか
A2. 高校中退したあと某高専に潜り込んでたんですが、「高専の新卒」という最強就職カードをかなぐり捨てて大学編入しちゃったので毒食わば皿まで、ではないですがやるとこまでやったろう！というのがひとつ。
高専時代に言われた「好きなことを仕事にすると長続きしないよ」とかいうもっともらしいアドバイスを真に受けて転科する！って編入した先があろうことか原子力系で、在学中の3/11以降いろいろ考え修士課程でまたしても転科したので、たった2年じゃやるとこまでやれん！というのがふたつ。すごくいきあたりばったりですが特に2つ目はこればっかりはしょうがない。
Q3. 普段どんな生活してんのさ
A3. 後述のRAが勤怠とられるので、普通に9時5時で他の職員さんと同じような勤務体系です。
理論系だし実験と比べて体力的に楽かなーと思いきや、週末もけっきょく自宅で作業してしまうので気分的には週休ゼロ日っぽい
研究で頭ハチハチしてると朝の民放テレビとかマジで情報の洪水、うるさすぎてたまんないのでNHK教育ではなかっぱとか見て心を浄化してから出勤してます。
あとは平日休日問わず、メンタルのために趣味のゲームしたりピアノ弾いたり、こういうのがすごく大事な時間です。
A4. 某国研のRAで学費とか税金年金もろもろ賄ってるのと、実家暮らしで家にお金入れてるわけでもないので（お父さんお母さんごめんなさい！）あんまり気にしたことはないです。
一人暮らししたら学費免除通りやすくなるのかな…在学中に結婚したら学費全額免除もらえたとか、配偶者に養ってもらいながら（3号被保険者として）生活してたとか、聞くけどどこでみなさん恋人とか見つけてくるんですかね？？？
Q5. 学振について
A5. 私は修士課程から新しい分野に来ていまだに業績ほとんどないから全然無理無理、って思って出してないんだけど、情報系とかみたいに早くからぽんぽん査読つき学会だの論文だの出せる分野だと申請書も見栄えするんだろうなぁ、って勝手に思ってます。物理の人もそんなみんな修士課程からポンポンPhysics Review うんちゃらみたいなのにポンポン載せてるんですかね…
Q6. インターンについて
A6. 来年に行く予定があるんだけど、大陸ヨーロッパなので日常生活で英語通じるのか？っていうのと最近はテロがちょっと心配。
他の人とか分野の事情まったく知らないんだけど、大学とか受け入れ先から予算が出るなら是非とも行っておいたほうがいいのでは。
Q7. 楽しいこと3つ
A7.
(1) 高専卒で就職した同期とかの話聞くと、「仕事の内容はいいんだけど人間関係が辛い」（脳筋DQNか体育会系みたいなのが多い、の意）というのを割りと聞くので、そういうのが理学系だとないなーっていうのが人間関係に恵まれてていいなって思います。高専の特に機械科とかほんと脳筋DQNのすくつだったしね。
(2) RAも実際のところ普通のホワイトカラーと違ってあんまり時間には厳しく言われないので、朝が弱いマンにとっては大変助かる。
(3) 本人はいつも自分には研究向いてない…辞めたい…って思ってるのに、親しい人とか親戚がすごく買いかぶってくれてるとこ。自己肯定感が全力で慰撫されますね。
Q8. つらいこと3つ
A8.
(1) 当たり前ですが自分の頭で考えて自分なりの意見を主張していかなきゃならないこと
いまだに自分の意見をいうのが怖い、いつもいつもフルボッコにされるんだろうなーって怯えながら進捗報告する日々。
(2) 将来への見通しが無い
(3) どうせいずれ死んでしまうのにこんな研究やってて何の意味があるんだ…
Q9. 現時点で後悔していること
A9.
(1) 高専から大学に編入するときに専攻を変えてしまったこと
高専から大学編入して学振DC1通ってる人とかけっこういるじゃないですか、彼らは高専時代からずっと自分の専門分野に一途だったんでしょう。
まさに「転がる石に苔つかず」で、転がってばかりだと成すものも成せなくなるんだなあ。
安定は、希望です | 参院選に挑む | 公明党みたいな人は博士課程に進学しちゃダメ！ゼッタイ。
(3) 人間関係を軽視しすぎたこと
いろんな人の話し聞いてると、高校や学部時代の人脈があとあと強い意味を帯びてくる、みたいなのあるじゃないですか。
高専で人脈とかまぁ無理にしても、学部時代に引きこもったりしなければ、留年したりしなければよかったな。
A10.
(1) 「正しさ」をめぐって駆動される権力の力学に無頓着な人
これだけで政治哲学上のひとつのトピックになりそうだし私が簡単にどうこう言えるものではないけど、教員側でもそういうのに無頓着な人がいますしね。本人の名誉のため名前は伏せますが
教員：「何でも良い、言え！」
なんていう地獄絵図はまったく想定していませんでした。
みたいなブログも見つけまして、大変脱力してます。一歩大学の外に出れば↑みたいなのがむしろ普通なのにね。そういう環境に適応してきた学生だけ一方的に責めるのはどうなの？
(2) 命令・指揮系統が崩壊している末期戦みたいな前線でも気にせず自分勝手に動ける・動きたい人
A8(1)と関係しますが、上から命令が降ってくるわけじゃないので、【北朝鮮】最高司令官同志、命令だけ下してくれ! - YouTubeみたいなのは決定的にダメですね。
（かの国における首領・党・人民の三位一体による有機的政治生命体、っていうのはたぶん研究職と相性悪いと思う。）
(3) 聞き分けのいい素直なお利口坊や/お嬢ちゃんじゃなかった人
高専の同期のDQNが「ああぁぁん？てンめぇナマいってんじゃねえよぶっ殺すゾ！！おおおぉぉぉん？？（どうでもいいけどなんでこういう威嚇する声ってだいたいプロソディーが短調ぎみなんだろう？）」って言っててもあんなん慣れりゃ自分に直接は害が振らないから別にいいけど、自分の今後に生殺与奪を握ってる偉い人相手には「相手の意のままに動かなきゃ、自分から敢えてケンカ売るようなマネは…」というのが適応戦略としては普通なので。そういうまともな感覚が無い人のほうが博士課程向いてるんじゃない？
後半が「博士課程もう辞めたいこんなん嫌や！！」って思いながら書き溜めたやつで、前半がちょっと最近持ち直してきたときにかいたやつなのでニュアンスが違いますが
http://d.hatena.ne.jp/shi3z/touch/20150830/1440908973
ここのブコメにあるように、中高の数学を実学の踏み台として教えるというのは、間違っていると思う。
なぜならば、将来の純粋数学者や哲学者への教育を放棄しているから。
数学というのは概念の記号化、抽象化と推論規則の導入と演習として教えられるべきで、
経済学、物理学やプログラミングで使えるというのは抽象化の真逆を行っている。
もちろん、被教育者の全員が全員純粋数学者や哲学者になるわけではないので、
そうでない生徒に対するクッションとして実用例を出すというのは必要だと思う。
しかし、教育カリキュラムとしてはあくまで理学的、哲学的であるべきで、
かつその抽象化や推論規則のような理学的思考はどのような業務に就くとしても
ユークリッド公理系に基づいてしっかり教えられる教師が圧倒的に少ない。
で、結局実用に逃げて論理とは何かを義務教育で教えられていない現状。
MIT https://www.eecs.mit.edu/ UCB http://www.cs.berkeley.edu/ あたりはEEとCSが一緒。
Caltech http://www.cms.caltech.edu/ は数学寄りっぽい。
出自の違いで色々あるんじゃない? 東大でも理学情報と工学系の情報(電子情報、機械情報、数理情報)で違うでしょ。
元増田がまるっきりCS理論の研究指向だったり、CSを使って他の諸分野の問題を解いていこうって指向で、計算機ハードウェアについては完全にユーザの立場で良い(ハードの専門家が用意してくれたものを使うだけで良い)っていうなら確かに入るとこ間違ったかもね。計算機の限界に挑戦してゆくような現場に行くなら、泥臭い物理世界をいじった経験はどこかで役に立つと思うけど。もちろん壊れた時に自分で直す必要はないんだけど、必要なシステムが与えられた物理的諸条件に収まるものかとかをざっと判断したり、とかさ。
↑new
「対象を具体的に構成することによって証明可能ならば, 存在しないと仮定して云々ではなく, 実際に構成したほうがよい」あるいは「(最狭義の)背理法なしでいけるならそうすべきだ」(これらは別の主張である)という主張なら意味は通りますが. もっともこの種の議論も教育云々に属すので.
彼の意味の非背理法証明は古典論理に従う通常の証明であり構成的証明や直観主義的な証明などとは異なる. だから直観主義的型理論の証明からrealizerとしてプログラムと正当性証明を抽出する話とか, 直観主義論理の存在具体化性なんかの話とは全く関係がない.
「機械的に書き換え可能なら情報量は変わらないのでは」という簡単な突っ込みもできる. 幾らかの人達は「とはいえ計算数学なんかでは背理法に依らない証明を考えるのは意味があるのでは」といったことを述べているが
件の著書の内容紹介に【「背理法による証明」を、格段に情報量の多い「背理法によらない証明」に機械的に書き換えることができる】とある. これは, 彼の意味の背理法による/よらない証明と, 古典論理/非古典論理による証明, または非構成的/構成的証明, との対比を混同している.
---
「LKもcut-free LKも非背理法的ということではないのか. そうだとするとカット除去定理は背理法除去とは無関係ではないのか.」
他方で彼の著書では竹内・八杉『証明論入門』を引用してカット除去定理が背理法除去を一般化した定理だとも主張している. ここでひとつ反論ができるとすれば「sequent calc.も非背理法的な証明体系ではないか. 証明に現れるsequentは全てvalidではないか.」
---
他方で彼のいう非背理法証明というのはそういう状況が起こらない証明をいう. Hilbert流の証明体系では途中にprovableなformulaしか現れないことを想像せよ. したがって彼の数学としての主張は「自然演繹とHilbert流の体系は同値. よって背理法は除去できる」
実際efqを用いた証明ではefqの適用の直前に矛盾が導かれているはずだから「途中に正しくない主張が現れる」という状況に適合している.
だから彼の拒否する証明法は広義の背理法よりももう少し広いものと考えられる. 例えばex falso quodlibetがnonsenseな証明法だと捉えていることは彼のサイトの記述から明らか.
正確にいうと彼のいう背理法は「否定導入と最狭義の背理法」を合わせたもの. 背理法を拒否する根拠は「背理法を用いた証明では途中に正しくない主張が現れる」こと. 自然演繹の証明図は途中にunprovableなformulaが現れることを想像せよ.
また「背理法を用いて証明できるなら用いないでも出来る」というのは彼の言葉の定義では正しいので「直観主義論理が云々, 派生規則だから暗黙に背理法が使われてる云々」は反駁にならない.
「教育の話だろ」という人間には「教育論の補強に数学を濫用しているし, 数理論理学の教科書まで出版している」と反駁しましょう.「それでも教育的な価値は云々」という人間には「教育論として批判しているのではなく数学として批判しているのだ」と反論しましょう.
適切に批判しないと「(最狭義の)背理法なしでは(通常の述語論理の形式的体系において)証明できない命題があるなどという人間は(彼の意味では背理法なしでも証明できるので)数理論理学を理解していない初心者である」などと云われて, 傾げる首を切り取られてしまった人間が賛同するので
