ロンドン（ＣＮＮ Ｂｕｓｉｎｅｓｓ） スロバキアでこのほど、小型飛行機に変形できる自動車が飛行試験に見事合格した。開発元の企業が２４日に明らかにした。 開発元のクライン・ビジョンによると、「エアカー」と呼ばれる同車は７０時間におよぶ「厳格な飛行試験」を経て、スロバキア運輸当局から正式な耐空証明を付与された。 試験飛行には２００回以上の離着陸が含まれ、欧州航空安全機関（ＥＡＳＡ）の基準と適合する内容だったという。 同社はこの試験について、飛行性能などを確認する機動を実施し、航空機モードでの驚くべき静的・動的安定性を実証したとしている。 クライン・ビジョンの広報担当はＣＮＮに対し、操縦にはパイロット免許が必要になると説明。１年以内に「エアカー」の販売にこぎ着けたいと語った。 開発では８人の専門家からなるチームが１０万時間以上をかけて設計コンセプトを数学モデルに落とし込み、そこから試作車の生産が

社内向けに公開している記事「統計・機械学習の理論を学ぶ手順」の一部を公開します。中学数学がわからない状態からスタートして理論に触れるにはどう進めばいいのかを簡潔に書きました。僕が一緒に仕事をしやすい人を作るためのものなので、異論は多くあると思いますがあくまでも一例ですし、社員に強制するものではありません。あと項目の順番は説明のため便宜上こうなっているだけで、必ずしも上から下へ進めというわけでもありません。 （追記）これもあるといいのではないかというお声のあった書籍をいくつか追加しました。 数学 残念ながら、統計モデルを正しく用いようと思うと数学を避けることはできません。ニューラルネットワークのような表現力が高くて色々と勝手にやってくれるような統計モデルでも、何も知らずに使うのは危険です。必ず数学は学んでおきましょう。理想を言えば微分トポロジーや関数解析のような高度な理論を知っておくのがベス

もるP🧬🌊👁 @progressivemol @nya3_neko2 FF外から失礼します。 10年前、若月先生に数学を教わっていました。「分からないところが分からない」ような状態で質問しに行っても親身になって答えてくれる良い先生でした。貴方のツイートで恩師が変わらず元気でやっていることを知ることが出来ました。ありがとうございます。

イントロ「実験室内で培養した人の「ミニ脳」にゲームをプレイさせることに成功、AIよりも速いわずか5分で習得」というニュースが話題になっています。 脳細胞をトレーの中で人工培養させて、その細胞に卓球ゲームの「Pong」をプレイさせたところ、たった５分で学習し、ラリーが続くようになったと報告されています。まるで、マトリックスの映画のようで、この技術を使った未来がワクワクすると同時にちょっと怖くもあります。一体、どんな技術を使って、脳細胞に卓球ゲームを学習させたのでしょうか。このニュースを取り上げている記事は多かったのですが、中身の仕組みについて解説している記事は多くありませんでした。そこで、このブログ記事では、ミニ脳にゲームを学習させた仕組みを自分の勉強がてらに、備忘録的にざっくりとまとめたいと思います。（そのため、自分の理解や記述が間違っている箇所があるかもしれません。もしありましたらお知ら

古典命題/述語論理の証明論・モデル論や、健全性・完全性定理に多少触れたことがないと理解できない可能性が高いです。 また、哲学に関する前提知識は必要ありません(おそらく)。 分かっている人向けの説明 「金子先生や大西先生の文献を追いながら、ダメットの反実在論に関する議論をざっくり整理してスッキリしたい」という気持ちに突き動かされて書いた個人的なメモを、他人に見せられるように整形・拡張したものです。今年言語哲学について学んだことのメモにもなっています。 直観主義論理とはまず、今回のテーマである直観主義論理についての説明をしておきたいと思います(すでにご存じの方は次章に移ってくださって構いません)。いわゆる普通の論理学の体系、古典論理(classical logic)についての知識は前提としているので、知らない方は色々調べて見てください。 さて、直観主義論理を非常に簡単に説明するなら、古典論理の

2020年のプロ野球もついに、というかようやく開幕を迎え、やきうファンの皆さんの生活も忙しくなってきたかと存じます。試合日程に合わせて予定をコントロールし、贔屓球団の成績に一喜一憂する日々が戻ってきたことは、同慶の至りでございます。ですが、開幕当初は無観客からの観客数制限という事態。席数が限られるうえに、感染の不安もあって現地観戦もままならぬ。完全に常態に戻るのはいつのことでしょうか？それとももう戻らないのでしょうか？ 常態でないのはファンだけでなく、球団も同じです。球団の収入の半分近くを占めるといわれる入場料収入が無観客・観客数制限の影響により、どさっと剥落するわけで、球団経営者の皆さんはそろばんと大福帳を手に取って日々苦悶されているものと思います。何とか収入を確保しようと、試合で使用した公式球を売ったり、客席にボードを掲げる権利を売ったりと各球団が必死の努力をされているご様子、誠にお疲

一部の人を「1部の人」と書いたり、一時的を「1時的」と書いたりする人は着実に増えている。 一例として、Twitterで"1部の人"を検索した結果を貼っておく。 https://twitter.com/search?f=tweets&vertical=default&q=%221%e9%83%a8%e3%81%ae%e4%ba%ba%22 ネットスラングや「だは」のようにふざけて書いているとは思えない、至って真面目なツイートが並ぶ。 正直めまいがしてくる。 はてブのホッテントリにもこういう書き方をしている記事が上がっており、ブコメで盛大に突っ込まれていた。 →何故、発達障害男性（ASD）の人生には「そんな私にも恋人」が発生しないのか？｜rei｜note https://note.mu/beatangel/n/n131507aa1da4 上記記事のコメント欄では 「1定はreiさんのウォーター

アルキタス（紀元前428〜紀元前347年）は、古代ギリシアの哲学者、数学者として知られます。 マグナグラシアのターラント（現在の南イタリア）で生まれた彼は、幼少の頃、ピタゴラス教団の一員で、数学者であったフィロラオスの教えを受けました。 やがて彼自身もピタゴラス派となり、数学を絶対視するように。 算術のみが満足のいく証明の根拠となり、それは幾何学では達成できないと考えました。 数学的な原理を機械学（力学）に応用した最初の人物はアルキタスだったと言われています。 彼はそれを証明するためにある発明をしました。 それが、史上初の自走式飛行装置「空飛ぶハト（Flying Pigeon）」です。

アマゾンの働きやすさは？ 働きやすさ　★★★☆☆ 何も考えなくてよい　★★★★☆ 時給　★★★☆☆ 出会い　★★★★☆ 知的好奇心　★★★★★ GAFAの一角アマゾンの倉庫を自分の目で確かめたい人は、面白いと思います(笑)。 何も考えずにもくもく作業したい人には合ってますが、ルールがガチガチでめんどくさい。 「そんなの当然だ！」 という意見をいただくことがありますが、僕はやっぱり面倒くさかったですね。 確かにアマゾンは１年忙しいし時給が高いので、ガンガン入って超忙しく稼ぎたい人にはおすすめです。 あと食堂のカレーは安くて良いです。確か200~300円(少しスパイスが効いてますが)。 場所は埼玉の川越FC 僕が働いたアマゾン倉庫は川越FC（フルフィルメントセンター）。NRT5とも呼ばれていました。川越駅からシャトルバスで13分くらい。 NRT５の由来は成田空港から数えて五番目の場所にあるから

懐かしい昭和時代（女性） @natsukashi__ 教育に悪いとかいってドリフを見せなかった親がいるけど、ドリフを見て育った子供と見ずに育った子供に違いはあったんだろうか？当時学校で話題についていけず、中年になった今も、懐かし話に入れない弊害しか浮かばない。 2021-12-13 12:09:21

新たな数学の定理の発見や、未証明の予想の解決にAIが役立つ──そんな研究結果を、囲碁AI「AlphaGo」などで知られる英DeepMindが発表した。順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけたという。 DeepMindは、豪シドニー大学と英オックスフォード大学の数学者とともに数学研究を支援するための機械学習フレームワークを構築。これまでも数学者は、研究対象を調べるためにコンピュータを使い、さまざまなパターンを生成することで発見に役立ててきたが、そのパターンの意義は数学者自身が考察してきた。しかし、研究対象によっては何千もの次元があることから、人間による考察も限界があった。 今回開発したアルゴリズムは、こうしたパターンを検索する他、教師あり学習を基にその意味を理解しようと試みるという

図1：ソディの6球連鎖の説明図。「外球（灰）に内接し、互いに接する2つの球（赤、橙）の周りを取り巻く球（緑）の連鎖数は、常に6となる」 和算書『古今算鑑』にあるソディの6球連鎖に関連する問題 ソディの6球連鎖（ソディのろくきゅうれんさ、英: Soddy's hexlet）とは、イギリスの化学者フレデリック・ソディが1936年に学術雑誌ネイチャーに発表した[1]、幾何学の定理に現れるネックレス状の球の連鎖である。6球連鎖の定理の主張によれば、外球 O0に内接し、かつ互いに接している2つの核球 O1, O2があるとき、O0に内接し、O1, O2と外接し、隣同士が外接する球の連鎖数は常に6となる。また、連鎖する6球 S1, …, S6の半径をr1, …, r6とする場合、それらは という関係を満たす[2]。なお、同じ内容がそれより110年以上も前の1822年に、日本の入澤新太郎博篤によって既に算

被害者情報漏洩はこちら http://d.hatena.ne.jp/REV/20180109/p2 通報窓口はデコイ：自衛隊のパワハラを公益通報したら特定され不利益待遇20240620 陸上自衛隊の上官によるパワーハラスメント（パワハラ）を匿名で公益通報したところ、自身が通報したと特定された上、不利益な取り扱いを受け https://www.asahi.com/articles/ASS6N35HBS6NIIPE003M.html UKR戦での露の戦術で、兵士を進撃させて自走迫撃砲で援護。この自走迫撃砲は囮なので射撃後直ちに陣地転換を行う。UKRは自走迫撃砲を潰すべく対迫レーダーなどで居場所を掴み自走砲で射撃。あらかじめ戦場に偵察ドローンを配備しておき射撃の砲煙を察知するとドローンが追尾し攻撃ドローンや砲撃、爆撃で仕留める。というのがある。 自衛隊のパワハラ公益通報通報者特定は、不穏分子の炙

Sheny's BLOG 🇨🇳 @BShenye 今は胡桃まどかさんで活動されてるようです。胡桃まどかさん名義のAVでまた同じように外国語自己紹介して上達具合を確認したい。大陆偏僻的地方の方言がめっちゃペラペラになってたら嬉しい。 twitter.com/takami__haruka… リンク Wikipedia 高美はるか 高美 はるか（たかみ はるか、1998年8月8日 - ）は、日本のAV女優。フォーティーフォーマネジメント所属。2021年4月より「胡桃 まどか」として活動していいる。 2019年2月、SODクリエイトの「青春時代」レーベル専属女優としてAVデビュー。 2019年7月9日、RIGHT（現 LIGHT）からフォーティーフォーマネジメントへの所属事務所移籍を発表と、既に専属を離れ企画単体女優となっていたこと。 2020年8月31日をもって事務所を退所。芸名を愛称であっ

王様の話が長くて面倒くさい勇者のお母さんがお友だちもどうぞと言って魔法使いは結構おじいさんなのに分け隔たりなく優しくて面倒くさいコマンド式の戦闘が緊張感無くて作業的で面倒くさいレベル上げが面倒くさいお金を貯めて装備を買いそろえたり買い替えたりするのが面倒くさい（今のRPGなら全部自動でやってくれるぞ）暢気で軟弱すぎる町や村の人に話しを聞きに回るのがイライラして面倒くさいパーティーの編成を考えるのが面倒くさいフィールドの移動速度が遅すぎて移動するのが面倒くさい道具の持てる数が少なすぎて面倒くさいしばらく時間が経ってプレイ再開したときに何をすれば良いのか思い出すのが面倒くさいアクションゲームなどと違いプレイをするにあたってテクニックやコツを掴んで効率よく攻略出来るとは限らないところが面倒くさいアイテムを調合するのが面倒くさい道具や魔法を使ってHPを回復させることすらもう面倒くさいこの先何が起こ