はてなキーワード: 重要とは
順番よりも重要度だろう
約束は先約優先です。後に入ってきた用事でも冠婚葬祭や非常に重要な用件以外は、先約を優先するのが常識です。約束している相手が計画を立て、あなたの
https://www.oyama-ct.ac.jp/C/ij/comment.pdf
冠婚葬祭で予定中断するなとは言わないんだよ
友達と行こうって言ってるお祭りにかれこれ3年連続キャンセルされてる
何年も前に入れた予定より優先するって何?
キャンセルされた理由→滅多に予定が合わない遠方の友達との旅行を優先したい、腹痛、旦那の両親との食事
先約優先しないのは先約側を疎かにして大変失礼
どの記事のブコメを見ても捻くれたコメントがスターを集めている。
どこか斜に構えたような、素直に内容を受け取らずに「実は〇〇だよね」とか、「〇〇の根拠は?」とか、「〇〇と同じ。」とか。
そんなブコメ欄をスクロールしながら、俺は冷めたコーヒーをすすった。もうすぐ定年が見えてくる年齢で、会社では「初老」なんて呼ばれ方をするようになって久しい。SNSやネットの世界で、あのスターを集めるコメントを書いているのは、きっと若くて頭の回転が速い、人生の斜め上を涼しい顔で歩いているような連中なのだろう。彼らの切れ味鋭い皮肉や、ちょっとした知識をひけらかすようなコメントは、確かに面白いし、ある種の共感を呼ぶのだろう。
俺には、そんな器用な真似はできない。斜に構えるなんて面倒くさいし、素直に「良いものは良い」「頑張っている人は素晴らしい」と、何の裏もなくそう思ってしまう。若い頃は、そんな自分を「素朴すぎる」とか「単純」だと、少し恥ずかしく思っていた時期もあった。流行の服や音楽に乗り切れず、会社の飲み会でも気の利いたジョークの一つも言えずに、ただニコニコしているだけの存在だった。
でも、この年になってやっと分かったのは、素直さや単純さこそが、この長く、ときには退屈で、ときには理不尽な人生を乗り切るための、俺の最大の武器だったということだ。
会社での仕事もそうだ。俺の担当する部署は、地味で、誰もが嫌がるような「後始末」や「資料整理」が多い。派手な新プロジェクトでもないし、昇進に直結するような華々しい成果もない。それでも、俺は毎日黙々と、一つ一つの資料の誤字脱字をチェックし、古いデータを最新の情報に照らし合わせ、誰もが面倒くさがって放置していたシステムの小さなバグを地道に修正し続けている。
「そんなこと、AIにやらせればいいじゃないですか」「もっと効率の良いやり方がありますよ」と、若手は言う。彼らの意見は正しい。だが、俺が手を動かし続けることで、この巨大で老朽化し始めた組織のどこかで、大きなミスが未然に防がれていることを知っている。誰も見ていない、評価にも上がらない、でも会社が、そして誰かの生活が滞りなく続くための、目立たないけれど重要な土台作りだ。
最近、始めたウォーキングもそうだ。カッコいいウェアを着て、ストイックに山を走る人たちの動画を見ては、「自分とは違う」と笑ってしまう。俺のウォーキングは、近所の河川敷を、ただただマイペースに歩くだけだ。膝も腰も万全ではないから、無理はしない。それでも、雨の日以外は毎日続ける。特別な目標があるわけではない。ただ、一歩一歩、地面を踏みしめる感覚。心臓が規則正しく脈打つ音。それが、「まだ、俺は大丈夫だ」という、静かな自信に繋がっている。
ブコメ欄で捻くれたコメントにスターが集まるのを見るたびに、「ああ、俺はあちら側には行けないな」と思う。でも、それでいい。誰にも理解されなくていい。スターも、いいねも、いらない。
俺は、今日も誰かのために、あるいは自分のためだけに、地道で、素直で、不器用な一歩を踏み出す。会社の誰も見向きもしない古い資料の整理を終え、日が暮れる前に河川敷を歩く。斜に構えることなく、ただひたすらに、自分が信じる道を、真っ直ぐに。この単純で地道な「頑張り」こそが、初老の俺の、唯一にして最大の生きる術なのだから。
多くの男がなぜ肉体的に脅威がないはずの女を執拗に貶めて攻撃したがるのかっつうと
ミソジニーとは女への依存をやめられない惨めさへの怒りだからだよ
女が性的に男をたいして必要としないのに、男は女を性的にすさまじく必要とする
それは男にとって暴力とは違う肉体的脅威だ
女をバカにしないと、男にとって重要な女体というアドバンテージを持つ女に負けている惨めさを感じる
そこからの男消しや負の押しつけ、女の誘惑という言い訳や加害が生じる
そういう男が日本にはかなり多くて、国力低下の原因にもなっている
ジョン・ウィックのスピンオフじゃないほうのバレリーナだけど内容はジョン・ウィックみたいな映画。
たぶん55点くらいの映画だと思うんだけど俺は好き、68点。
おそらくPMC(民間軍事会社)関係の主人公の親友が自殺。彼女を追い込んだマフィアのメンバーを殺人マシーンと化した主人公が追い込んでいくっていう、最近何回見たかわからん話。なんだけど、なんかめっちゃアート映画風でそこが面白かった。
主人公のパーソナルな情報はなんかびっくりするくらいふわっとしか描かれないし、敵のマフィアの情報も七すげーふわっとしてて具体性に欠ける。しかし、主人公と親友のなれそめとそこからの交流は非常にぼやっとした画面処理で美しく緻密に描かれる。圧倒的ロマンシス。
仕事で乾ききった主人公を癒し人間に戻せるのが元バレリーナの親友だったんだなとじんわりしみわたる。ジョン・ウィックの子犬(妻)に近いが、あれは導火線としての役割しか果たしていなかったが、本作では親友との甘く暖かい時間と、それを失って復讐に走る痛く冷たい時間が非常に対照的に交互に描かれていく。
アクションは普通に頑張っていて好印象。ただァ↑、スピード感出したくてカメラぐらぐら動かす演出ホンマ嫌い。特に冒頭のスーパーの強盗現場にうっかり居合わせた主人公がそいつらをスーパーにあるものを利用してボコボコにする展開。工夫が凝らされててめっちゃいいのに、カメラぐらぐら過ぎてようわからん。あんだけよくできたシーンなんだからもっと腰据えてじっくり撮っていいのに。
あと強すぎるは強すぎるんだけど普通に多対一だと苦戦するし、スーパーフィジカルエリートのラスボスとの初戦はかなり厳しい戦いになるリアリティはよい。韓国、タイ、インドネシアあたりで特に流行ってる「痛い」アクションも非常にデリシャス。
あとやっぱ主人公よかったな。めっちゃ美人って感じじゃないんだけど、親友の部屋の風呂場で自殺してる彼女を見かけたときの「痛い」表情。さすがに完璧すぎた。あのワンシーンだけでこの映画一本分の仕事したと思う。
アクションもいいし、スタイリッシュアクションに重要な非アクション時のたたずまいもよい。
俺がアート系映画あんま好きじゃないのもあってなんか作品全体がふわふわしてて話に集中しづらかったのと、親友がバレリーナだったことが話にあんま活きてこないのはちょっと不満だったかな。アート映画らしく、友情復讐友情復讐の間の本テーマ以外の部分はかなり意図的に消されているので、何でこうなってるんだっけ?ってちょっと迷子になっちゃった部分もあった。
あったかい冷たいあったかい冷たいっていう連続サウナみたいな映画でだんだん意識が朦朧としてくるので好みは結構分かれると思う。
でも、ワシはロマンシスが好きなんじゃ!という人は見てみるといいと思う。
あんなに主人公を人間側に戻そうとしていた親友が遺書で「復讐して」と書く意味の重さが、終始この作品を推進していた。その言葉に重みを与えるには親友がどれほど主人公のことを思っていたかの描写が必要で、この作品ではそれがちゃんとできていたと思う。
よかった。好き。
人間がやることだから、1割ぐらいは間違いがあると思うんよね。
そして、これは故意ではなく過失であるということ。(ここ重要)
はい、高校では2022年度から「情報Ⅰ」が必修科目となり、パソコンを使ったプログラミングや情報セキュリティなどの学習が義務付けられています。この「情報Ⅰ」は、2025年度からは大学入学共通テストの科目としても追加されるため、高校生活だけでなく受験においてもパソコンが不可欠となっています。
必修科目「情報Ⅰ」について
内容: プログラミング、データベース、ネットワークの基礎知識など、情報活用能力を高めるための幅広い内容を学びます。
目的: 将来、社会で必要とされる情報活用能力や問題解決能力を育むことを目指しています。
授業での活用: 多くの高校でパソコンが学習ツールとして使われています。
レポート作成や情報収集: 授業以外でも、レポート作成や情報収集のためにパソコンを活用する機会が増えています。
大学入学共通テスト: 2025年からは大学入学共通テストにも「情報」が追加されるため、受験対策にもパソコンが不可欠です。
僕は今、いつものように自分で定めた前夜の儀式を終えたところだ。
コーヒーは精密に計量した7.4グラム、抽出温度は92.3度で、これが僕の思考を最高の線形性と可逆性をもって保つ。
寝室のドアは常に北側に向けて閉める。ルームメイトは今夜も例の実験的なシンポジウム(彼はそれを自作フォーラムと呼んでいる)に夢中で、隣人はテレビの音を限界まで上げて下界の俗事を増幅している。
友人たちは集まって未知の戦術を試すらしいが、彼らの興味は僕の多層的位相空間理論の議論とは無関係だと見做している。僕にとっては、他人の雑音はただの非可逆なエントロピー増である。
今日は一日、超弦理論のある隠れた側面に没入していた。通常の記述では、弦は一次元的な振動として扱われるが、僕はそれを高次元カテゴリの対象として再解釈することに時間を費やした。
物理的場のモジュライ空間を単にパラメータ空間と見るのは不十分で、むしろそれぞれの極小作用の同値類が高次ホモトピーのラクタンスを持ち、ホモトピー圏の内部で自己双対性を示すような階層化されたモジュライを想定する。
局所的超対称は、頂点作用素代数の単純な表れではなく、より豊かな圏論的双対圏の射として表現されるべきであり、これにより散乱振幅の再合成が従来のFeynman展開とは異なる普遍的構造を獲得する。
ここで重要なのは、導来代数幾何学のツールを用い、特にスペクトラル的層とTMF(トポロジカル・モジュラー形式)に関する直観を組み合わせることで、保守量の整合性が位相的モジュライ不変量として現れる点だ。
もし君が数学に親しんでいるなら、これは高次のコホモロジー演算子が物理的対称性の生成子へとマップされる、といった具合に理解するとよいだろう。
ただし僕の考察は抽象化の階段を何段も上っているため、現行の文献で厳密に同一の記述を見つけるのは難しいはずだ。
僕は朝からこのアイデアの微分的安定性を調べ、スペクトル系列の収束条件を緩めた場合にどのような新奇的臨界点が出現するかを概念的に解析した。
結果として導かれるのは、従来の弦のモジュライでは見落とされがちな非整合な境界条件が実は高次圏の自己同値性によって救済され得る、という知見だった。
日常の習慣についても書いておこう。僕は道具の配置に対して強いルールを持つ。椅子は必ず机の中心線に対して直交させ、筆記用具は磁気トレイの左から右へ頻度順に並べる。
買い物リストは確率論的に最適化していて、食品の消費速度をマルコフ連鎖でモデル化している。
ルームメイトは僕のこうした整理法をうるさいと言うが、秩序は脳の計算資源を節約するための合理的なエンジニアリングに他ならない。
インタラクティブなエンタメについてだが、今日触れたのはある対戦的収集型カードの設計論と最新のプレイメタに関する分析だ。
カードの設計を単なる数値バランスの問題と見做すのは幼稚で、むしろそれは情報理論とゲーム理論が交差する点に位置する。
ドロー確率、リソース曲線、期待値の収束速度、そして心理的スケーリング(プレイヤーが直感的に把握できる複雑さの閾値)を同時に最適化しないと、ゲーム環境は健全な競技循環を失う。
友人たちが議論していた最新の戦術は確かに効率的だが、それは相手の期待値推定器を奇襲する局所的最適解に過ぎない。
長期的な環境を支えるには、デッキ構築の自由度とメタの多様性を保つランダム化要素が必要で、これは散逸系におけるノイズ注入に似ている。
一方、漫画を巡る議論では、物語構造と登場人物の情報エントロピーの関係に注目した。キャラクターの発話頻度や視点の偏りを統計的に解析すると、物語のテンポと読者の注意持続時間を定量化できる。
これは単なる趣味的な評論ではなく、創作の効率を測る一つの測度として有用だ。隣人はこれを聞いて「また君は分析に興味を持ちすぎだ」と言ったが、作品を合理的に解析することは否定されるべきではない。
夜も更け、僕は今日の計算結果をノートにまとめ、いくつかの概念図を黒板に描いた。友人が冗談めかしてその黒板を見ただけで頭痛がすると言ったとき、僕はそれを褒め言葉と受け取った。
知的努力はしばしば誤解を生むが、正しい理論は時として社会的摩擦を伴うのが常だ。
今は23時30分、コーヒーの残りはわずかで、思考の波形は安定している。
眠りに落ちる前に、今日導いた高次圏的視点でいくつかの演繹をもう一度辿り、明朝にはそれを更に形式化して論理体系に落とし込むつもりだ。
プログラミングとは、勉強も運動もスマブラも下手なクソ隠キャ中学生が「俺もパソコン1台で凄い技術者になって…!」とワクワクしながら始めるものの思ったより普通に難しいし学校の試験で出たような知識要求されるしで3日で放り投げ、10数年後にnoteで「お前らは絶望的にプログラミングに向いてないからやめろ」なんて記事を書くだけのザコに成り下がる、夢と希望に溢れた技術である。
近年ではパソコンのスペックの上昇にともないできることも増え、どこのご家庭にもあるRTX2080で簡単にディープラーニングもできるようになった。Unityで3Dゲームをバリバリ動かしてもブルースクリーンは出ない。やっぱ世界を広げるのは小賢しい知恵よりもスペックの暴力だぜ。
開発環境や言語も選択肢豊富で、エディタもかつては有料クラスでも手に入らなかったような贅沢な機能が満載のものが出回っている。Eclipseとか今考えるとよくあんなので開発できてたな。
いまや小学生からおばあちゃんまでアプリ作りに熱中し、高校生はIoTとかやり始め、大学生は商業レベルか?ってレベルのものをネットで発表し、私はウェブアプリのスマホでのレイアウト崩れひとつすら直せず静かにエディタを閉じてnoteで過激タイトル記事を書いている。
掛け算に順序があると思っているような知能の下級雑用係(自分のことを教育専門職だと思い込んでいる)ですら「小学生にプログラミングを教えるぞ!」と意気込んでいる。やめろ。お前らには無理だ。無理だからマジでやめろ。考え直せ。無理だって。掛け算に順序つけないと相手に教えられないレベルのやつがプログラミング教えるのマジで無理だって。算数とは次元が違うって。「ピーチ姫いつも簡単に誘拐できるし今度はベヨネッタも誘拐してみるか」ぐらいの無謀さだって。やめとけ。マジでやめろ。
まあそんなこんなで入り口はめちゃくちゃ広く、入門するのはマリオカートより簡単である。話逸れるけどSwitchのマリオカート、運転アシスト機能ついて初心者でもコース完走できるようになったから心折れちゃった人ももう一度チャレンジしてみてね。
それとは特に関係ないんだけど、大学行ってた時ティーチングアシスタント(TA)っていう授業のお手伝いさせられたのよね。ちゃんとお金出るやつ。
学部の3年か4年から始まって、院の1年か2年までやってて、途中で休学挟んだから、ええと、あー、うん、数年間TAやってたんよ。数学とプログラミングのコマ。CとOctaveとかいうやつ。Cのほうは情報学科で、Octaveは違う学科。JavaとかC++のコマはTA入れさせてもらえなかった。
プログラミングの実習は週2コマ(連続)あって、情報学科なら必修科目。なのでサポートは相当手厚く、先生とTAが絶え間なく机間巡視し、わからないことがあればセンパイがなんでも答えてくれるというわけだ。授業外でもサポートはしており、わからなければ先生や研究室にいる学生に好きなだけ聞きにいっても良いということになっていた。必修だから落とされたら困るしな。
2コマだから3時間 * 15回で、45時間。そして私の時は2年まででC/C++/Javaと必修だった(今はなんの言語かは知らない)ので、その3倍、135時間は最低やることになる。プログラミング実習以外にもプログラミング触る授業多いから実際はもっと多い。宿題やる時間もあるので実際はもっともっと長くプログラミングに触れることになる。卒論書く時期に入ると、テーマによっては書く人はさらに書くので、もっともっともっともっと長い。
これだけ時間をかければほとんどの人がプログラミングできるように……ならない。むしろできない人の方が多い。なんで。why。教えて。
会社になるとさすがにプログラミングできるできないは死活問題である。
「今日から入ったxxでーす。業界未経験ですがよろしくおねがしまーす。さっそくなんですけどPythonのここわかんないんですけどどうすれば……あっそうすればいいんですね。次はここなんですけど……なるほど!ありがとうございます。じゃあまた明日ー」
いやー社会人にもなると熱意が違うね。学生なんかわかんなくてもほとんど聞きに来ないのにな。こりゃガンガン伸びますわ。私も社会人1年生でPythonなんて3秒ぐらいしか触ったことないから適当答えてるけど。
「ちょっとお時間よろしいですか?」「いやちょっと今忙しいから後になっちゃいますわ。すんません……」
そんなこんなで1週間ぐらい放置してしまった。やべー絶対嫌われる。どこまで進んだかな……?えっまだそこ?進んでなくない?
もしかしてこれ全部教えないとダメなやつか。そりゃ大学4年間プログラミングやったやつでもプログラミングできないんだから、そうか。よく考えると当たり前だよな。
プログラミングをやめろ
大学4年間と大学院2年間プログラミングやったやつでもできないし、会社で毎日8時間を数週間プログラミングについやしてもできないやつはできないし、そもそも人類というのはプログラミングできない可能性がある。
少年少女たちに「プログラミングはいいぞ!自由にものが作れて達成感がある!頭が良くなった気分にもなれるし!」と吹聴してまわんのもいいけど、6年間情報科学について勉強したようなやつの大半がプログラミングできないんですよ。それもごくごく初歩的な部分。
野球とかサッカーなら、まあ友達との試合には参加できなくてもごく稀にバットにボールを当てたり、ボールを1回あらぬ方向に蹴ったり、ぶっちゃけ周りとのレベル差で楽しくなくてすぐやめちゃうだろうけど、なんとか基礎の一部ぐらいはできるじゃないですか。
ピアノとかダンスでも、猫踏んじゃったをごくごくゆっくり弾くぐらいはできるかもしんないし、学芸会の振り付けを10秒ぐらいは踊れたりできるかもしれない。その後やっぱ周りのレベル見て諦めちゃうかもしんないけどさ。
プログラミング、6年やってミットを頭にかぶってるバッターとか、鍵盤蓋の上から殴って音鳴らそうとするやつとか、まずそういうレベルのやつが大量発生するんですよ。だいたい7割ぐらいの率。どうすんだよこいつら。私の教育の問題か?マジで?本当に?
プロが練って考えて凝縮した本や授業、センパイたちによる指導。それらを結集して得られるはずのものが7割ぐらいどっかに消し飛んでる。無駄だろこれ。
今からプログラミングやろうとしてるやつ、お前は確実に向いてないからさっさと諦めて刺身にタンポポ乗せる仕事に戻ってくれ。参加しても鍵盤蓋叩き割るやつと同じ病室に入るだけだ。
プログラミングをやめろ。
ぼくはこう思うんですよ
そもそもなんで大の大人がそんな両手にバット持ってセカンドに立ったりゴールの方をボールのところまで動かす奇行に走るんだろうな。わかんねえや。
綺麗な分析はできないけど、いわゆる「できない」やつが共通して言ってたフレーズがある。
「ぼくはxxxだと思ってるんですけど、動かないんですよ」
うん、そうだね。そう思うんだ。でも動いてないじゃん。じゃあ違うんじゃない?モニターに「にらみつける」やってもバグは取れないし防御力下がるだけだぞ。
まず根本的に考えと事実が違ってるって結果出てるじゃん。じゃあもう考え変えちゃえば早くない?
名言の引用は好きではないけど、「プログラムは思った通りには動かない。書いた通りに動く」って言葉がある。実に名言だと思う。次点で好きなのが「ある問題を解決しようと正規表現を使うと問題が2つに増える」かな。
お前が何を思っているかはプログラミングにおいて一切影響しないんだよ。お前が何を書いて、コンピュータがどう処理したか、それが全て。
深く考えないことについてぎゃーぎゃーいうやつもいるけどプログラムなんてまず最初は動けばいいんだから何も考えずに次試せばいいだろ。んで3回ぐらいは自分で思い浮かんだの試して、全部ダメだったら調べるとか先生に聞いてみるとかさ。逆に1発で通ったら自分の思考見直して理解深めるとかさ。
ドキュメントとかあんまり理解できない初心者のうちは、とにかくお試しと修正のサイクル回すの重要で、「これがこうだから動くはず」というカードを3種類ぐらい作って全部片っ端から試すのが早いと思うよ。モニターをにらみつけるな。
お前がどう思ってるかよりも、まずはお前の書いたプログラムがどう動いているか(どう動いていないか)を確認するのが先だ。動かなかったら考えが違う、はい次のプラン、はいその次のプラン、はい次。
この「ぼくはこう思ってる」が出てくるの、なんの教育の成果なんだろうね。お前の気持ちなんてどうでもいいって現国でも数学で散々教えられただろ。
Error: variable 'a' is undefined, line 24
↑のエラーは架空のエラー文(英語下手でも許して)だけど、エラー、出るよね。プログラム組んでたら。んでやっぱいるのよ。エラーを「にらみつける」やつ。解決しねえって言ってんだろ。
「エラー出たんですけど、どうすればいいんですか」
「エラーにはプログラムがなぜコンパイル通らないかの原因がそのまま書かれている。例えば今出ているError: variable 'a' is undefined, line 24は、24行目の変数aが未定義ということを示している。事前に変数aを定義していないか、打ち間違えてsになっているとかではないのかな?」
だいたいが「腑に落ちねぇー」みたいな顔する。まあ、一気に喋りすぎたしな。疑問点1個1個潰していくか。
「何か疑問点ありそう?変数ってなにー、とか、定義ってなにー、とか」「ないです。わかりました!」
わかったのか。よかった。またモニターをにらみつける開始。なんでだよ!!!!「お前顔にチョコついてるぞ」って言われたらチョコ拭き取るだろ。変数aが未定義ですねって言われたら変数a定義すりゃいいだろ。
でもプログラミングド下手なやつ(全人類の7割ぐらい)は、エラーをにらみつけてる。ずっとにらみつけてる。防御力下限まで下がったかな。にらみつけてて何が変わるんだよ。
「英語読めなくて……」
いや「a is undefined」なんて「He is Superman」ぐらいの英語だろなんで読めないんだよ。お前この大学どうやって入ったんだよ。たしかどの入試方式でも英語あっただろ。単語わからんかったらググれ。
「aが未定義って書いてあるんですけど、ここのfor文の私の考えが間違ってるのでしょうか」
いや24行目のaって書いてるだろ。まずなんでそこ無視するんだよ。お前がfor文で使ってんの教科書通りのiだろ。24行目ってわかるか?for文あるの40行目あたりだよな?aとiが違う文字ってわかるか?
「さっきのエラー直したら新しいエラーが出たんですけど、どうすればいいですか」
千尋!贅沢な名だねえ
変数に名前をつけろ。関数に名前をつけろ。クラスに名前をつけろ。全てに名前をつけろ。
C言語の古い教科書だと「a」とか「b」とか「i」とかで書いてるけど、そんなの人間が読めるわけねえだろ。冷静に考えろ。「input」「output」「index」とかにしとけ。
2重for文の変数名i, jにしたら絶対途中で打ち間違えるだろ。お前は打ち間違える。そういうやつだ。2重ループなんてどうせ行列計算の課題だろ。rowとcolumnにしとけ。これで打ち間違っても気づくし、それぞれに意味が付いてくる。
ちなみに同じ長い名前にも優劣がある。「result」よりも「sum」のほうが強い。「result」はなんの結果かわからない(全ては結果であるので)が「sum」は合計値であることがわかるからだ。「password」と「plainPassword」なら「plainPassword」が勝つ。暗号化されていないパスワードであることがわかるので、情報量が多いからだ。
ただし例外はいくつかある。「tmp」は一時変数であることが(プログラマにとって)明らかだ。「dir」はディレクトリであることがわかる。「src」「dist」あたりもよく使われる。このあたりは短くていいんじゃねーかな。
でも、この前温度センサ扱うプロジェクトで「tmp」って変数名使って温度(temperature)と脳内で混線してバグって発狂してた同僚いたけど。そういうときは名前長くするか別の名前使おうな。
関数の名前なんて「calcAverageFromArray」ぐらい長くしていいから。「myFunc」とかしなくていいから。「fetchJsonDataFromUniversityInternalServer」とかでいいから。マジで。いやこれ本当に。
そもそも今時ディスプレイでかいし、識別子なんて先頭数文字打ったらエディタが補完してくれるし、短くするメリットがない。
それでも名前が長いと感じる?関数がでかすぎるんじゃないか。細かく処理を分けるとかしてみろ。「combineArrayAndFindMax」関数は「combineArray」と「findMax」に分割したらいいと思うぞ。名前が長いと思っても名前を削るな、機能を分割しろ。自然と名前が短くなる。
それかシンプルでかっこいい名前を見つける。「convertEvilHtmlToPeacefulText」は「sanitize」に置き換えることができる。イカす名前だ。
プログラミングできない奴はマジでこれらのことをやらない。ずっとaとかbとかzとか使ってる。お前それ自分で読めんのか。読めねえだろ。myfuncってなんだよ何するんだよ。お前自分で理解できてんのかそれ。
それでも頑なにaとかbとか使う。なんでだよ。
動作原理わからず書き散らすな。動作原理っつってもそんな深いところじゃなくて言語表面上レベルの動作な。
リテラルは値を作成して、代入は値に名前をつけている、とかその程度のレイヤー。メモリがどうこうとかはいらんと思う。あっでもポインタのときはいるか……。めんどくせえな。
まあ動作原理っていうか自分が何やってんのか理解してくれって程度の話になるんだが。
例えばfor文で処理50回まわすとき、「50回分の処理を行なっている」ではなく「ループ開始時に変数を初期化。条件判定して成立していれば文の中を実行する。条件変数の値を変化させてまた条件判定からやり直す」ぐらいの粒度で捉えててほしいかな、という気持ち。
これはfor文で詰まる人がやたら多かったからだ。彼らはfor文をアトミックな操作だと思っていた。つまりfor文はひとまとまりの命令であり、長いfor文とprintfの間に粒度の違いはないと思っていたらしい。
つまり、「for文の中でエラーが起こる」という事象がほぼ理解できない。forはアトミックであり、内部など見えないのだから。じゃあお前が今書いたfor文の中身はなんなんだってやんわり聞くと「さあ…?」みたいな反応が返ってくる。はあ。
関数についてもなかなか誤解が多かった。関数「sum_array(a, b)」と関数「average_three_numbers(a, b, c)」は全く別の原理で動いているのだと。ここでの「全く別の原理」というのはシグネチャが違うとか実装が異なるとかそういう意味ではなく、コーラを飲んでゲップが出る原理と糸電話で声が伝わる原理ぐらいの全くの別、という意味である。
彼らは関数ひとつひとつについて「新しく原理を学習」していたのだ。マジかよ……。どうやったらそんな発想に行き着くんだろう。そりゃ時間かかるわな。
そのため、関数が値を返す(または返さない)ということも理解できておらず、「関数の戻り値と関数の戻り値を足す」とか「関数の引数に関数の戻り値を直接渡す」とかやりだすと大パニックになる。メソッドチェーンとかやった日には大学潰れると思う。ただ、これはC言語が悪い部分もあると思う。配列とかいじりだすと、初心者が書けるレベルの関数だとあんまり値返さないしな。
たのむ、他のはできなくてもこれはできてほしい。自分が何をやりたいのかは理解してほしい。流石にお前のやりたいことなんて他人にはわからんぞ。
「配列の中の数値の合計値を求めたいんです」とか「名前と身長と体重をひとつにまとめた構造体が作りたいんです」とか。簡単なのでいいから。
「いま何やろうとしてどこで詰まってる?」って聞いても「……?」みたいな反応されたら困るんだよ。
例えば「キーボードから数値を10回入力し、それぞれの値を配列に格納して、最後に配列の値を逆順に表示せよ」みたいな問題が出てきたときに、「キーボードから値を入力する」「10回繰り返す」「配列に値を格納する」「配列の値を逆順に表示する」に分解できると思うんだけど、自分が何やりたいのかわからない奴はまずこれができない。
彼らには「キーボードカラスウチヲジュッカイニュウリョクシソレゾレヲハイレツニニュウリョクシテサイゴニハイレツノアタイヲギャクジュンニヒョウジセヨ」に見えている。
かろうじて「キーボード」「ハイレツ」あたりの単語は拾えるらしく、標準入力から値とったり配列を作ったりはしてるんだけど、そこから先に進まない。モニターにらみつけてる。またにらみつけるかよ。
あれだ、算数の文章題できなくてとにかく文章に出てくる数値足したり引いたりするやつ。あれのプログラミング版。文章が読めない。
こういう人にはメモ用紙取り出して、まず文章が何について言ってるのか、どういう工程に分けることができるのか、今後も同じことが起こったときにどうやって分けるのか。みたいなのを教えるんだけど、大抵あんまりしっくりこないらしく、成功したことは皆無。なんとかうまく教えたいんだが。
もうこのあたりになってくるとプログラミング関係なくね……?ってなるんだけど、意外とそういうプログラミング関係ないところで詰まる人めちゃくちゃ多いよ。
今すぐプログラミングをやめろ
小さくて扇形だったのが、ピンクの部分が伸びて縦長になって、一般的な手入れをしてる女性の爪くらいにはなったよ
②1ミリくらい(できるならそれ以上)白い部分があるように伸ばす
③爪を噛んだり、缶の蓋を爪でこじ開けるみたいな爪に負荷のかかる行為を控える
④化粧品用の適当なオイル(ミネラルオイルは効果ない。自分は無印のオリーブオイル使ってたけど何でもいい)を寝る前に爪の裏に垂らす
マニキュアだと弱い。結果を出したいならジェルネイルを強く勧める
ジェルはダイソーのはがせるやつをセルフで塗ってました。自分は職場が保守的なのでジェルは透明でネイルホリックのマットトップコート塗って何も塗ってません感を出してた。汚くなったら落として塗り直すを繰り返す。これだけで治った。コンプで悩んでたのが嘘みたいよホントに
日本は衰退し続けている。
このような反論が返ってくる
「衰退していない、緩やかに成長している」「ゼロ成長でマイナスにはなっていないのだから衰退ではない」
たいていの人はこのような認識だ
そして原因は「政治が悪い」。99.9%はこのように答える。
いやいやいやいや、民主国家で主権は国民にあるんだから国民の責任でしょ。
政治家に騙されたと言うが、何年騙され続けてるの?やっぱりバカじゃねぇか
かつ、毎回騙されてるのにちっとも反省しない、記憶力がヤバい。
小学生が急に成長が止まったとする、
とは言わない、諸外国が成長し続けてる、世界平均で年4-5%成長してて自国だけ30年間ゼロ成長なんだから
なにかが間違えてる、病院にでも連れて行くのが普通だが、お薬を飲もうとしないのが日本人。
そもそも日本人は自信過剰だ、我々民族は優秀、このような幻想を抱いている。
いやいやいやいや、自力で産業革命も民主化も成せなかった程度でしかない。そこらの土人と変わらん。
ギリ中世までは到達できたが、そのほとんどが中国や朝鮮からの盗用
独自の文化が花開いた、的な枕詞で賛美するが、江戸時代、科学的な成長や成果は皆無だ。
金銀銅、当時のレアメタル三種セットと主要エネルギーの石炭が廉価な労働力で無尽蔵に採掘できる国で
成長しないほうがおかしい、成長というても、余りある金で西洋から文化、科学を買ったにすぎない
大正から昭和初期、世界中で鉱山開発が進み、主要エネルギーが石油に転換し秒で斜陽、
かろうじて残っていた社会資本(軍事力他)をフル回転させアジア周辺国から搾取して生き延びていたわけだが
西洋から「そーゆーの、えー加減にせぇよと」、フェアにやろう、非人道的、不条理不合理な弱者からの搾取はもうやめよう。
植民地とかもうやめよう、ってかつて植民地のフィリピンをとっくに独立させていたアメリカが日本に突きつけたのがハルノート。
ハルノートを強欲なアメリカが理不尽な要求で日本を追い詰めた、という図式で解釈している奴がいるが、
中身読んだ?歴史勉強した?どうみても真っ当で妥当で正当性のある要求でしかない。
だが、国内で3500万人程度の食料しか自給できない国土にもかかわらず、無計画に人口増やし続けた結果、7000万人。
輸出して稼ぐにも天然資源はすでに国際競争力を失い、第二次産業、加工産業も長らく西洋の模倣しかしておらず
独自技術や先端技術は無いので西洋の製品に価格も性能も敵わない、外貨を稼げない。
大消費地の中国に近く、西洋に対して輸送コストのみが競争力だった。
だが、第一次世界大戦で船舶輸送技術が大幅に進歩し、地の利を失った。
そこに追い打ちのハルノート、戦勝利権、大昔の最恵国待遇とかいい加減に戻せ、フェアにやれという要求にすぎない
アホかと。
問題は人口なんだから諸外国に頭下げて引き取ってもらいながら人口減らすしかない。
だが、日本人は賢くて優秀、なんだそうだ。
そもそも焼け野原になどなっていない。ありゃアメリカが諸外国から手を引かせるためのプロパガンダにすぎない。
実際には工業力はさほど毀損していない、米軍はちゃんと狙って攻撃していたのだ。主要都市の主要施設、重要な橋や製鉄所は外していた。
かつ、アメリカは太らしてから弁済させる、計画だったのだろう。他の大国からは賠償権を放棄させ、小国には雀の涙で賠償を承諾させ、
全ての戦勝利権と国家制御権を手にしたのがアメリカで、経済成長全振りの社会政策、ハレーションや矛盾は無視。
で、いまだにチューチューされてるのに、低知能の日本国民はアメリカにべったり、
短期的経済成長全振りを80年やって社会矛盾が出まくりなのに認知できない。
中国が正当な戦後補償を求めていたらそもそも日本はとっくに消えて無くなっているのにね。
日清戦争で日本が被った被害と得た賠償金を調べてから、日中戦争で日本が与えた被害を比べてみ、無理ゲー
が
どんだけ神だよ
尖閣諸島が欲しい?
上げろwくれてやれ、差し上げなさいw
が、優秀な国民で輝かしい我が国は、領土は1平米も譲らん、なんだそうだ。
南京大虐殺は捏造とか言うてるの、それ以外で4,500万人殺してるのは事実だろうがよ
中国には経済力でダブルスコアで完敗、と思って調べたらすでにトリプルスコアだったw
それでも、日本人は優秀、政治が悪い、なにも変えない、変えたくない、省みることはない、正しい歴史認識!
言っとけカス
1000万円以上の運用資産を用意できない貧乏人にとって、プロップファームは投資を行うための唯一の選択肢である。
ざっくり言うと認定試験に合格したプロトレーダーに対し、運用のための資金を融通してくれる会社です。
数千〜数億円の資金を調達できるこれらのサービスを利用することで、自己資産に乏しいわれわれにも資産運用の道が開かれます。
日本ではあまり話題になっていないため、ほとんどの人がファーストインプレッションで警戒すると思います。
欧米を中心に20年以上前から提供されているサービスであり、日本法人を持っている事業者も複数あります。
有名どころであればあからさまな詐欺被害に遭うことはないと増田は考えています。
プロップファーム事業者はプログラム参加者に運用資金を割り当てますが、すべての希望者に無条件にそれらを提供するわけではありません。特定の試験に合格した人だけに対してです。
試験の内容は事業者及びプランにより異なりますが、一定の仮想資金を運用し利益を得ることを目標とするものが多いです。デモトレードで1000万円運用し利益10%を達成する、といったようなものです。
フェーズ1で8%、フェーズ2で6%などといった形で2段階に分かれるケースも多いですし、時間的な制限がある場合や、ギャンブルトレードや指標取引の禁止など、内容的な制限が設けられていることもあります。
逆に損失が発生した場合は失格となり、再度はじめから試験を受け直すこととなります。マイナス方向の閾値は5〜10%程度。条件を満たしてしまった場合は即座に試験終了です。
また、重要なこととしてほとんどのプランでは試験参加時にエントリーフィーを支払う必要があります。金額はさまざまですがここで納める料金に応じて割り当てられる運用資金が決定されるため、ある程度まとまった額を希望するなら5〜10万円からと考えるべきでしょう。
認定試験をクリアできた参加者は晴れてプロトレーダーとして割り当てられた資金を運用していくこととなります。
ここで得られた運用益は所定の割合で参加者とプロップファーム事業者とで分配する形になります。比率については幅がありますが、利益の80〜90%を受け取れるケースが多いです。つまり、2000万円の資金をもとに利益100万円を得た場合、80万円が懐に入るわけです。
逆に損失が発生した場合にどうなるかということですが、参加者は金銭的な支払い義務をまぬがれます。プロップファーム事業者が全損失を被るということです。しかし、ここでも試験の時と同様にマイナス方面の閾値が設定されており、満たしてしまった場合はプロトレーダー認定は剥奪され残りの運用資金も回収されてしまいます。もう一度やりたかったら始めから試験を受け直してね、というわけです。
プロトレーダーとして安定した利益をあげ続ける優秀な参加者に対して、割当資金の拡大チャンスが用意されています。最大2億円とか6億円という結構な額を謳うものがありますが、条件的にはなかなか厳しいものとなるため最終段階の達成者が本当にいるかどうか疑わしいと増田はみています。
通貨がメインと考えていいでしょう。感覚としてはFXとほぼ変わりありません。ただ海外口座準拠となるため、手数料アリのスプレッド広めです。スキャルピングよりデイトレやスイングの方が向いているかもしれません。
また、CFDや株、仮想通貨をカバーしている事業者もあるため、それらを普段取引しているトレーダーにとってもより多くの資本を運用するチャンスがあります。
雑所得扱いとなります。事業所得として申告する人もいるようですが、税務署がどう判断するかわからないので自己責任になるでしょう。
まとまった運用資産を用意することはなかなか難しいものですが、プロップファームを利用することである程度そのハードルを下げることができます。
増田もかつてはそうでしたが、なけなしの少額資金でトレードを行う場合、早く多くの利益を上げることで頭がいっぱいになってしまい大きなリスクを取ることになります。それが得意な人もいますが、ほとんどはうまくいかないものです。
数千万円を元手にするのであれば1%の利益でも数十万円に相当するわけですから、十分精神的な余裕を持ってトレードできます。この余裕が何よりも重要であり、それがあってはじめて上手くいくこともあるので、現在の取引で思うように利益を出せていない人は一度検討してみてはいかがでしょか。
図書館?便利だけど、まず本は買え。
僕の結論はこう。
自分が読みたいからではなく、他の人にも読んでもらいたいからリクエストする。
そこで司書(国家資格保持者)が文化的価値を守るフィルターになる。
新刊情報や地域の作家情報も得られるし、購入ルートも確保できる。
単なる作業ではなく、地域の文化ラインナップを作る仕事になる。
まとめるとこう。
「酒に合うつまみ」、酒盗とか、チーズとか、生ハムとか、なんでもいいんですけど。
そういうつまみは美味しいしお酒も進むんですが、当然塩っ気が強いものが多くなるし、自ずと酒量も増えるし正直それだけではきつい。。
極端なところでは「塩だけで飲める」という人もいるとは聞きますが、食事を楽しみたい性格の自分が美味しく飲むためには「刺身のつま」や「からすみ大根」的な、「酒のアテ(刺身、からすみ)を受け止めるアテ(つま、大根)」が重要であり、友人と深酒しても「結局キャベツ一番食べてたね」みたいなこともしばしば。
「もろきゅうのきゅうり」
「揚げ物の千切りキャベツ」
塩味の受け皿というか、「酒のアテのアテ」とも呼べるような淡白なつまみのバリエーションを広げたい。
特別養子縁組とか称して海外へ100人以上の子供を売り飛ばして行方不明、実質児童臓物の人身売買をしていたという事件を引き起こしていたのだから
近年話題になっている、トー横の若者が海外に言葉巧みに誘われて行方不明になる事件にNPO等の団体が関わっており、
団体を隠れ蓑にしてトー横で未成年をラオスやカンボジアに売り飛ばす様な事件が起きていても何らおかしくないと、改めて痛感しています。
ベビーライフは2009年に設立された一般社団法人で、主に「特別養子縁組」のあっせん事業を専門としていました。
特別養子縁組とは、経済的・健康的な事情などで育てられない親から、温かい家庭環境を提供できる養親へ子どもを託す制度です。
この団体は、予期せぬ妊娠に悩む産みの親を支援し、子どもたちの新たな人生を繋ぐ役割を担うはずのものでした。
ベビーライフは認定NPO法人フローレンスをはじめとする団体と提携し、
2016年には「日本こども縁組協会」を共同で設立するなど、業界内で一定の信頼を築いていました。
フローレンスの駒崎弘樹氏が会長を務め、厚生労働省での記者会見も行うなど、
2012年から2018年度にかけて、ベビーライフは約300件の養子縁組をあっせんしました。
そのうち半数以上、実に174人以上の子どもたちの養親が外国籍(主にカナダ106人、米国68人)だったことが、
ベビーライフは国際あっせんを積極的に進め、2013~2015年度だけで海外養親から約2億円超の費用を受け取っていました。
1件あたり平均300万円近くと、国内あっせんの約100万円を上回る高額です。
これらの資金の使途は不透明で、巨額の斡旋手数料が指摘されています。
そして2020年7月、ベビーライフは突然事業を停止し、解散を宣言。
代表の篠塚康智氏をはじめとする関係者たちは、連絡を絶ち、行方をくらませました。
重要な個人情報、産みの親の同意書や子どもの記録は東京都に引き継がれず、
クラウドサーバーの契約終了を理由にデータが消去されてしまいました。
海外に渡った子どもたちの安否は、2025年現在も確認できていません。
少なくとも174人以上が消息不明で、実質的な人身売買や臓器売買の疑いが浮上しています。
このような「雲隠れ」は、事件発覚前の意図的な逃亡を思わせます。
先にも書いた様に、ベビーライフは厚生省や大手マスコミ、そしてヨッピーさんのような世間に大きな発信力を持つ超人気ライターから、
「海外で(子どもたちは)幸せに暮らしているかもしれないから、別にいいじゃないですか~」というような擁護の声が上がり、お墨付きを与える様な「ちゃんとした団体」でした。
行方不明に追い込み、実質的な児童人身売買に手を染めていたのです。
事件発覚前に団体を潰して逃亡した手口は、今後、何が起きても不思議ではないという疑念を残します。
若い女性や未成年女子、地方の家出少女を呼び寄せるような大手女性支援団体が存在した事例があります。
同様にトー横周辺でも熱心に活動していた大手支援団体は、団体の代表が元反社会的勢力の人物であり、
小泉進次郎氏をはじめとする超大物政治家との強い繋がりがあったと報じられています。
彼らも国や都、そして彼らを支援する大手マスコミや左翼団体等の「ちゃんとした人達」から
「ちゃんとした団体」のお墨付きを与えられていましたが、団体の理事が利用者にコカインを投与する痛ましい事件が発生してしまいました。
また別の件では、NPO代表(元反社、服役経験あり)が元利用者と違法薬物を用いた性行為に及んだ事件も発生しました。
元反社や現在も反社に近い人物が、NPOを隠れ蓑に支援ビジネスを展開しているのは周知の事実です。
ドラマ『相棒』でも、このようなテーマが取り上げられ、社会の闇として描かれました。
NPO法の趣旨は尊いものですが、監督の甘さから悪用されるケースが後を絶ちません。
今後もベビーライフのような団体が、NPOを隠れ蓑に若者を海外へ売り飛ばす事態が発生する可能性は決して否定出来ません。
寧ろトー横の様な有象無象が蠢く界隈において「ちゃんとした団体」の人間が信頼されるのは周知の事実であり、その信頼を悪用する事は容易に想像出来ます。
そして、ヨッピーさんのような発信力があり、公的な立場も持つ超大物が、
「海外に行っても幸せに暮らしているかもしれないんだから、別にいいじゃないですか~」
そうなると、どんなに疑惑の目があっても、世論は疑惑を向ける方を「悪」として叩く事になるでしょう。ベビーライフの様に。
自分達一般市民は、こうした問題に目を向け、欺瞞に騙される事無く、NPOの透明性を高め、子どもたちの安全を第一に守る仕組みを求めていく事が重要なのだろう。
もちろん、すぐ気がつく悪口技術の無自覚な高さもその中に入っている。「いやあ、ろくなことがないね。野比のび太は30分後に~」でつづく一連のセリフは、まだ未確定だったものの、その後の作品の生命を支える重要な場面を生み出すことになったと私は思う。
芥川龍之介と藤子不二雄(F氏と、たぶんA氏も)のペアは、同じというわけではないけれど比べてみるといろいろ面白い点が見えてくる。
平易なようで真似するのが非常に難しい文章。星新一ともまたちがう。
だれの批判につぶされているのかわかりにくい点。
大衆的なのに本格的推薦文がいまだ少ない、なのに強い生命力をもつ作品群。
数学の最も抽象的な核心は、structured homotopy typesをファンクターとして扱い、それらの相互作用=dualities・correspondencesで世界を説明することに集約できる。
ここでいう構造とは、単に集合上の追加情報ではなく、加法や乗法のような代数的構造、位相的・解析的な滑らかさ、そしてさらにsheafやstackとしての振る舞いまで含む。
現代の主要な発展は、これらを有限次元的な点や空間として扱うのをやめ、∞-categoricalな言葉でfunctorial worldに持ち込んだ点にある。
Jacob Lurie の Higher Topos Theory / Spectral Algebraic Geometry が示すのは、空間・代数・解析・同値を一つの∞-topos的な舞台で同時に扱う方法論。
これにより空間=式や対象=表現といった古典的二分法が溶け、全てが層化され、higher stacksとして統一的に振る舞う。
この舞台で出現するもう一つの中心的構造がcondensed mathematicsとliquid的手法だ。
従来、解析的対象(位相群や関数空間)は代数的手法と混ぜると不整合を起こしやすかったが、Clausen–Scholze の condensed approach は、位相情報を condensed なファンクターとしてエンコードし、代数的操作とホモトピー的操作を同時に行える共通語彙を与えた。
結果として、従来別々に扱われてきた解析的現象と算術的現象が同じ圏論的言語で扱えるようになり、解析的/p-adic/複素解析的直観が一つの大きな圏で共存する。
これがPrismaticやPerfectoidの諸成果と接続することで、局所的・積分的なp-adic現象を世界規模で扱う新しいコホモロジーとして立ち上がる。
Prismatic cohomology はその典型例で、p-adic領域におけるintegralな共変的情報をprismという新しい座標系で表し、既存の多様なp-adic cohomology 理論を統一・精緻化する。
ここで重要なのはfieldや曲線そのものが、異なるdeformation parameters(例えばqやpに対応するプリズム)を通じて連続的に変化するファミリーとして扱える点である。
言い換えれば、代数的・表現論的対象の同型や対応が、もはや単一の写像ではなく、プリズム上のファミリー=自然変換として現れる。
これがSpectral Algebraic Geometryや∞-categorical手法と噛み合うことで、従来の局所解析と大域的整数論が同一の高次構造として接続される。
Langlands 型の双対性は、こうした統一的舞台で根本的に再解釈される。
古典的にはautomorphicとGaloisの対応だったが、現代的視点では両者はそれぞれcategoriesであり、対応=functorial equivalence はこれら圏の間の高度に構造化された対応(categorical/derived equivalence)として現れる。
さらに、Fargues–Fontaine 曲線やそれに基づくlocal geometrization の進展は、数論的Galoisデータを幾何的な点として再具現化し、Langlands 対応をモジュールcategorical matchingとして見る道を拓いた。
結果として、Langlands はもはや個別の同型写像の集合ではなく、duality of categoriesというより抽象的で強力な命題に昇格した。
この全体像の論理的一貫性を保つ鍵はcohesion と descent の二つの原理。
cohesion は対象が局所的情報からどのようにくっつくかを支配し、descent は高次層化したデータがどの条件で下から上へ再構成されるかを規定する。
∞-topos と condensed/lquid の枠組みは、cohesion を定式化する最適解であり、prismatic や spectral 構成は descent を極めて精密に実行するための算術的・ホモトピー的ツール群を与える。
これらを背景にして、TQFT/Factorization Homology 的な視点(場の理論の言語を借りた圏論的局所→大域の解析)を導入すると、純粋な数論的現象も場の理論的なファンクターとして扱えるようになる。
つまり数学的対象が物理の場の理論のように振る舞い、双対性や余代数的操作が自然に現れる。
ここで超最新の価値ある進展を一言で述べると、次のようになる。
従来バラバラに存在した「解析」「位相」「代数」「表現論」「算術」の言語が、∞-categorical な場の上で一つに融解し、しかもその結合部(condensed + prismatic + spectral)の中で新しい不変量と双対性が計算可能になった、ということだ。
具体例としては、prismatic cohomology による integral p-adic invariants の導出、condensed approach による関数空間の代数化、そして Fargues–Fontaine 曲線を介した局所–大域のgeometrization が、categorical Langlands の実現可能性をこれまでより遥かに強く支持している点が挙げられる。
これらは単なる技法の集積ではなく、「数学的対象を高次圏として扱う」という一つの理念の具体化であり、今後の発展は新しい種の reciprocity lawsを生むだろう。
もしこの地図を一行で表現するならばこうなる。数学の最深部は∞-categories上のcohesiveなfunctorialityの理論であり、そこでは解析も代数も数論も場の理論も同じ言語で表現され、prismatic・condensed・spectral といった新しい道具がその言語を実際に計算可能にしている。
専門家しか知らない細部(例えばprismの技術的挙動、liquid vector spaces の精密条件、Fargues–Fontaine上のsheaves のcategorical特性)、これらを統合することが今の最も抽象的かつ最有望な潮流である。
ランダウ–ラングランズ的な双対性の直感を、位相的・圏論的な巨大場として再構成する作業は、もはや単なる対応命題の確認ではなく、数学的実在の階層構造を再階層化する営為へと移行している。
ここで重要なのは対応自体が一つのモノイド的作為ではなく、∞-圏の層状化した自明化可能性の表現であるという読み替えである。
最近の成果群は、従来の局所・大域の二項対立を溶融させ、曲線・局所体・解析空間といった古典的な基底を、より普遍的な空間の記述可能性(representability)の観点へと置き換えてしまった。
具体的には、ファルグ=フォンテン曲線を舞台にした幾何化は、局所的表現論を圏的スペクトルの上に載せ替えることで、従来別個に扱われてきた表現(自動形式的対象)とパラメータ(L-パラメータ)を、同一の圏的心臓部で同時に構成可能にしたことを意味する。
この構成は単に対応が存在することより深く、対象自体を再定義してその同値関係を圏の中心や内部終対象の言葉で記述することにより、対応が生まれる必然的環境を示した点で画期的である。
同時に、グローバル側の道具としてのシュトゥーカ(chtoucas)的技法は、関手的・代数的な操作を用いて場のモード分解を行い、その分解が示す不変量を通じて大域的パラメータ化を達成する方策を具体化した。
ヴィンソン・ラフォルグの仕事群は、こうしたシュトゥーカの立型化によって、関手的に取り扱える大域的パラメータ空間を提示し、局所的構成との繋がりを媒介する新たな環を与えた。
結果として、言語的には表現→パラメータへの写像がベキ乗的に分解できるだけでなく、その分解自体が可逆的な圏的操作として認識され得ることが示され、これが大域的Langlands構想の新しい正当化になっている。
さらに最近の数年間における動きで決定的なのは、モチーフ論の解析的拡張が進んだ点である。
従来モチーフは代数多様体上の普遍的コホモロジーという観点で語られてきたが、ショルツェらによるベルコビッチモチーフ(Berkovich motives)や関連する解析的・アーク的降下法は、可換性や双対性に関する新たな剛性条件を与えることで、代数・複素解析・非アルキメデス解析を一枚の理論で織り上げた。
モチーフを単なる数論的核から、解析的スタックや圏的双対性を自然に持つ対象へと格上げし、Langlands的双対性の受け皿を拡張した。
こうしてモチーフとLanglands対応は、もはや互いに独立した二つの理論圏ではなく、同じ∞-圏的言語で発声される現象に変わった。
そして最も劇的な変化は、最近公表された一連の大規模な仕事群が、幾何学的Langlands命題の本質的な形を証明し得たことにより、これまで隠れていた構造的要請が顕在化した点にある。
これらの証明的努力は、従来の和声的・解析的手法を超え、圏的分解、局所–大域の整合、そしてモチーフ的双対性が同時に満たされるような動的な証明環境を構築した。
重要なのは、この到達が単なる命題の解決に留まらず、数学的対象の定義域そのものを書き換えるような再帰的メタ構造を与えたことであり、以後の展望は新たに定式化された圏的正規形とその変形理論を追うことで開かれる。
結果として、Langlandsプログラムとモチーフ理論の接続は、従来橋をかける比喩で語られてきたが、今や両者は共通の言語空間の異なる座標表示に過ぎないという段階に達している。
ここでの言語空間とは、∞-圏とその可逆化可能な中心、アーク的・ベロコビッチ的降下法、そしてシュトゥーカにより生成されるファイバーの総体を指す。
その内部では、表現論的計量(harmonic analysis 的なスペクトル)と数論的モチーフの普遍的ファンクターが互いに鏡写しになり、操作が圏的に昇格することでパラメータ化は動的な自己相互作用として理解される。
これが意味するのは、将来の進展がもはや個別の定理や技法の追加ではなく、数学的対象を包摂するより大きな構成原理の発見と、それを支える新しい圏的インフラ(解析的モチーフ、Fargues–Fontaine 的基底、chtoucas の動的再解釈)に依存するということである。
読み手がもし、これをさらに運動方程式的あるいは力学系的なメタファーで読み替えるなら、ラングランズ系とは無限に多様な対称性とその破れ方が−同値関係としてではなく−力学的な遷移として定義される場であると結論づけられる。
その意味で、最新の進展は単に既存のパズルのピースを嵌め直したのではなく、ピースそのものを再設計し、新しい接着剤(∞-圏的双対性、解析的モチーフの剛性、シュトゥーカ的ファイバー化)を導入した。
この新しい設計図を受け取った数学は、今後、従来とは異なる方法で「表現」「パラメータ」「モチーフ」を同時に扱うための合成的技術を展開するだろう。
t-tanaka ほんと,この人たちを「発見者」というのは納得がいかない部分があるんだよなー。二重螺旋構造の発見者はフランクリンだ。死んだならちょうどいい。今からでも教科書を書き直すべきだ。
それこそ風のようななにも残らず通り過ぎていくような音楽だと思った
でも繰り返し聴いているうちにこのなにもないサウンドが心地よくなっていった
すごいな?
これ初見は捨ててスポッチファイとかでたまたま二回目聴いた奴を取り込むために作ってんの?
ブルーノマーズもそういう音楽だけどストリーミングではじめの三秒が重要な時代に、おそらく繰り返し聴かれるだろうって予想で所感を全て捨ててるのギャンブラーすぎるだろ
経済学、特にミクロ経済学に対するご意見をありがとうございます。
ミクロ経済学は、意思決定の原理や最適化といった個々の目的が明確な主体(消費者や生産者)の行動を、意思決定理論やゲーム理論といったより一般性の高い理論的枠組みへと拡張・一般化できる強力な側面を持っています。
ミクロ経済学が唯一信用できると感じられる理由は、その分析が個人の合理的行動(合理的意思決定)という明確で検証可能な公理に基づいている点にあります。
これらの分析は、オペレーションズリサーチ (OR) や最適化問題として捉えることができ、目的関数(何を最大化・最小化するか)と制約条件(予算や技術)が明確に定義されます。
一方でマクロ経済学が抱える困難さについても、鋭く指摘されています。
マクロ経済学が扱う国民経済全体の利益(国家の利益)は、ミクロの効用や利潤ほど単一で明確な目的関数として定義することが非常に困難です。
国家の利益には、経済成長、失業率の低下、物価安定、所得分配の公平性など、複数の目標が関わり、しかもそれらはトレードオフの関係にあることが多いです。
どの目標を優先するか、またパイの分け方(所得分配)をどうするかは、規範的・政治的な判断を伴うため、ミクロのように単一の最適解を導出することが難しくなります。
このため、マクロ経済学の重要な研究分野は、ご指摘の通り以下の点に集中します。
要するに、ミクロ経済学が最適化の論理という数学的厳密性を武器にしているのに対し、マクロ経済学は集計と実証という統計的・実証的な検証に多くを依存せざるを得ない、という構造的な違いがあると言えます。
ミクロ経済学の知見をマクロに応用しようとする動学的確率的一般均衡(DSGE)モデルなどの発展もありますが、集計の困難さや期待形成の不確実性が常につきまといます。
ミクロ経済学を唯一信用できるとされる根拠は、分析の基礎となる前提と目的が明確であるという、その科学的厳密性に起因している、と解釈できますね。