記念すべき1回目の募集結果の発表です!!! 御礼!! 仕事よりも奥さんの方が怖いって、なんとも微笑ましいですよね! 男性が妻を大切に思う気持ち、それと同時に家事に四苦八苦する様子がとってもチャーミングです。 まさに夫婦生活のお決まりの光景で
-数学- Lean4のお勉強 証明支援、applyタクティク、have
"Mathematics In Lean"に沿ってLean4の証明支援系の勉強を進めています。まだ基本編で、今やっているのはmin, maxの性質の証明です。具体的には全順序集合上の関数min a b (a, bの小さい方を返す)について次の性質の証明です。 min a (min b c) = min (min a b) c 直感的には結局両辺ともa,b,cのうち最小の値を返しますから等しくなるのは納得です。一方この学習では以下の4つの性質だけから上記の性質を示すことが課題です。 le_antisymm : a $\le$ b $\land$ b $\le$ a $\iff$ a=b min_…
エルヴィン・シュレディンガー1/20改訂【仮想の猫を使った思考実験で量子的に実在を考察】
こんにちはコウジです! 「シュレディンガー」の原稿を改定します。 今回の主たる改定はAI情報の再考です。また、
エルビスの歌う What Now My Love のリズムはボレロじゃないのか?
まず、掲題の曲を聴いていただきましょう。 Elvis Presley - What Now My Love (Aloha From Hawaii, Live in Honolulu, 1973) バックで特…
被災された「自閉症・発達障害の人」を案じる〜児童精神科医・佐々木正美さんのメッセージから普遍的に学ぶこと https://news.yahoo.co.jp/articles/6bebb04155813a12d3a03c7159602bf86c8d7e49 時を超えて寄り添うメッセージ 児童精神科医として半世紀以上、子どもの育ちを見続け、お母さんたちの悩みに寄り添ってきた佐々木正美先生。逝去から6年経った今も、先生の残された子育てのについての著作や言葉は私たちの支えとなっています。2011年の東日本大震災に際して寄せられた佐々木先生のメッセージを、この度の能登半島大地震により被..
1月16日撮影の小惑星ベスタとM1カニ星雲です。小惑星ベスタがかに星雲に接近中です。気流の影響でピント合わせに失敗、ちょっとピントが甘かった!小惑星ベスタとM1カニ星雲
電気代はかなり減らせた。直接効果の部分。 しかし、蓄電池に大きな出費をしている。これは、運よくお金を捻出することができたが。 (太陽電池+蓄電池で電気代を賄えるようにするには蓄電池が二つ欲しい。) 現
いやあ、イラクはいいチームですな。アジアカップ勝った時(マフムード!!マフムード!!)ほどの悲壮な美しさは無いけどだいぶいいぞ、これ。 日本はあんましいいアイデアも乏しくてちと残念でした。何とかしろよ!! どうでもいいけど「こいつらの金の流れもインボイス制度導入してや...
Melodics(61日目):New Dimension(Grade2)
Finger Drum:New Dimension(Grade2) まだGrade2でやってない曲がたくさんある。Pad Layoutを変えて,Kickは親指で叩く形で練習。Grade2だとさすがに簡単だが,たまにはこのくらい軽いのをやって落ち着いた方が良い。
「相生山からは伊吹山の奥の方に白山も見えるんだよ」20年ほど前、初めて相生山に来たとき、物知り顔のオジサンに言われて「すごい!」と思いました。でも、間もなくしてオジサンの勘違いで、能郷(のうごう)白山のことだったと分かりました。標高1,617m、直線距離にして約70km。名古屋から木曽川を越えると見間違えることのない姿を認めますが、相生山からは滅多に拝めません。1月11日「相生山の四季を歩く会」下見時「本番も...
「雲をつくって雲を知ろう」@渋川まちづくりセンター24/1/13
12/3の講座に続いて、今回は低学年対象に雲に関する講座をおこないました。雲のでき方の話を聞いた後、ペットボトルで雲発生実験を行いました。また雲の種類の説明を聞き、雲ずかんを作っ...
受験生のあなた、共通テストお疲れ様でした。 この記事では、2024年度入学共通テスト本試験 数学II・Bの解答・解説を載せております。 選択する人が少なそうな第3問(確率分布と統計的推測)も解きましたよ。 あくまで私が思いついた解き方を掲載
大腸菌の無細胞翻訳系では、リボソームが環状 RNA の伸長に対してより効果的に働くことができるため、無限のオープン リーディング フレームを含む環状 RNA が直鎖状 RNA よりも 2 桁多くの翻訳産物を生成する。 直鎖状 RNA よりも優れています。 次に、無限のオープンリーデ
こんな笑顔ができるのは撮影が超順調ということでしょう。𝟮𝟰𝟬𝟭𝟭𝟵•振り返ればそこにいるって言ったよね@程潇#程潇裴思婧#❤️#程潇大梦归离#画像はGentle・一程のWeiboより振り返れば可愛い
配管フランジの設置位置は内部点検に直結します。 フランジを切り込むとよく言いますが、フランジをどこに設置するかで作業性が大きく変わります。 液やガスの配管ならあまり意識しなくても、スラリー配管なら意識はしておきましょう。 フランジに点検口の
MATLAB,Python,Scilab,Julia比較 第4章 その4【形式ニューロン②】
形式ニューロンの概念図を説明。 よく見るニューロンの概念図と類似。 形式ニューロンの数式を説明。 重みと入力の内積の結果をヘヴィサイド関数に渡して0or1にしている。
鳥取県東郷温泉「寿湯」 温泉通の皆さんの中には、下の写真を見ただけでどこの温泉かわかる人が結構いらっしゃるのではないかと思います。 東郷温泉寿湯のメインアプローチ 温泉へのメインアプローチの「通路の幅が狭すぎる」ことで知られる鳥取県東郷温泉の寿湯です。 もちろん鄙びたかけ流しのいい温泉には間違いがないのですが、写真を見ると通路が狭すぎて、「自分だったら通れるかしら」と、心が揺さぶられることになります。 私は閉所が嫌いで、しかも人一倍ふくよかな成長を遂げているため、インターネットに掲載された写真を見て「絶対に私には通れない」と思ってビビっていました。しかし、日に日に「幅の狭い通路を通ってみたい」…
大ぐま座の系外星雲M81とM82。M81は典型的な渦巻き型、美しく整った系外星雲であるのに対して、M82は衝突型不規則型の系外星雲で対照的な2つの系外星雲が隣り合っている。
9 時起床. 今日ものんびり起きた. 午前中は何もせずネットを見たりして過ごす. あまりネットを見過ぎると気分が落ち込んでくるので, 1 時間ほどで区切りを付ける. 午後からデイケアの友人宅を訪ねる. 友人が録画した「笑わない数学」のビデオを見させてもらう. 今回取り上げられていたのは「素数」. 深いテーマの入口なども扱われていて面白かった. 夕方に帰宅. 昨日のカレーが残っているので温めて食べ…
1月21日 冥王星が水瓶座に入ります。前回水瓶座に入ったのは、2023年3月24日あれから再びの水瓶座入りとなるわけですが、2023年と異なるのは、山羊座に戻る期間はわずか2か月となり、長い助走期間もほぼほぼ終わったと見做せるところでしょうか。ウォルタークレイン
日本の、月の周回軌道を飛行中の「スリム」が20日午前0時、日本初の月面着陸に挑戦します。最近JAXAは失敗続き、今日こそ汚名返上をお願いしたい。しかし戻ってくるとは書いていないので着陸したら終わりかな?まあ何でもいいから着陸に成功してください。EchoDot(エコードット)第5世代-Alexa、センサー搭載、鮮やかなサウンド|チャコール【コンパクトなのに響く低音・高音質】前世代と同じサイズでも、よりクリアなボーカル、より深い低音、...Amazon日本の月着陸船が今日着陸に!
以下使用画像 : ゲームのグループチャットLobi 今週の月曜日~金曜日ゎ全然ブログを更新しなかったよねぇ~ (/≧◇≦\) 実ゎ今日がお仕事で勝負の日…
【AIの注目記事】AWS、国内クラウドインフラに2兆2600億円を投資へ AI技術などの利用を促進… 他9件(2024/01/19 19:00時点)
AIに関する最新注目記事(2024/01/19 19:00時点) # ■1. AWS、国内クラウドインフラに2兆2600億円を投資へ AI技術などの利用を促進 https://news.google.com/rss/articles/CBMiPGh0dHBzOi8vd3d3Lml0bWVkaWEuY28u…
「世界人民の反乱など鎖国の愚民には無関係」今週のベンジャミン・フルフォードの記事は、「ヨーロッパが反乱し、テキサス州が内戦を宣言する中、チャバドの人身御供が暴露される」という表題で、世界各国でハザール・マフィアに対する人民の反乱が起っているとの事。悪魔のようなハザリアンマフィアは動揺してます。彼らを永久に終わらせる時が来た。ニューヨークのチャバド世界本部の地下にある人身御供施設の暴露は、私たちが何を扱っているのかを全世界に知らしめました。ヨーロッパのトラッ
Google Imagenとは?DALL-E3・Stable Diffusionとの違いは?商用利用・安全性を徹底解説!
Google Imagenとは、Googleが2022年に発表した画像生成AIです。今回はGoogle Imagenについて、どのようなものか、他の画像生成AIとはどこが違うのか、安全性や将来性はあるのかなど徹底解説します。この記事を読んで、自社のAI導入の参考にしていきましょう。
天の川銀河の磁場の三次元分布が初めて明らかに! 活発な星形成を引き起こすガスの集積過程が明らかになるかも
天の川銀河の“いて座銀河腕”内部の磁場構造を初めて三次元的に解明。(Credit:UniversityofTokyo)今回の研究では、天の川銀河の渦巻き腕(注1)の一つ“いて座銀河腕”の内部の磁場構造を、三次元的に明らかにすることに世界で初めて成功しています。注1.天の川銀河は全体がゆっくり回転していて、回転する方向に巻き込まれるような渦巻構造をしていると考えられている(“渦巻銀河”と呼ばれる)。渦巻きの濃く見える部分を“渦巻き腕”と呼び、渦巻き腕にはガスや塵が多く集まっていて、この内部で盛んに新しい星が生まれている。研究では、いて座の天の川方向の184個の星を広島大学かなた望遠鏡(注2)を用いて精密に観測。注2.かなた望遠鏡は、広島大学東広島天文台が所有する口径1.5メートルの光学望遠鏡。可視光・赤外線...天の川銀河の磁場の三次元分布が初めて明らかに!活発な星形成を引き起こすガスの集積過程が明らかになるかも
家系は仏教です、興味深い動画投稿を見てLLMで問い合わせみました 仏教徒である親鸞の書籍にキリスト教系のものが発見された事例について詳しく説明してくださいAMはい、親鸞とキリスト教の関係についてお話しします。親鸞は鎌倉時代の日本の
htps://dronecleaninggroup.com/ 水流によるホースの荷重とドローンのプロペラー回転数に比例する浮力やジェット放水の反動力を抑えることなどおそらく自動計算されて操縦に反映されているかもしれない
過去(江戸時代等)日本各地で見れたオーロラ(赤気)が出現した原因と見え方
オーロラは天文現象のひとつ。高緯度の極域近辺で見られる美しい光のカーテンとして誰もが知り、そして一度は観てみた
私は自他ともに認める俗物根性(weblio)まるだしのミーハー(weblio)なので、いくらかのPVを稼ぐために、2014年に中性子を使って実証され、昨年(2023年)に光子を使って実証された、アハラノフの量子チェシャ猫を紹介したいと思います。アハラノフの量子チェシャ猫の「量子チャシャ猫」というのは、不思議の国のアリスという童話に出て来る不思議な猫をイメージして命名されたようですが、量子チェシャ猫というのはどういうものなのか...
安全な生成AI活用を進める団体・Generative AI Japan、慶大・宮田裕章教授を代表理事として発足
ウルシステムズ株式会社は、2024年1月17日、一般社団法人Generative AI Japanを発足したと発表した。同団体は、産学連携での生成AI活用を目的とするものだ。ウルシステムズと株式会社ベネッセコーポレーションが共同発起人となり、代表理事には慶應義塾大学・宮田裕章教授を迎える。
算額(その645)長野県小諸市八幡町八幡神社寛政11年(1799)中村信弥「改訂増補長野県の算額」http://www.wasan.jp/zoho/zoho.html鈎股弦(直角三角形)内に内接円があり,中鈎(直角の頂点から斜辺(弦)への垂線)を引く。短弦と円の直径の積が3.6平方寸,中鈎と円の直径の積が4.8平方寸のとき,円の直径を求めよ。直角三角形の3辺を鈎,股,弦,弦=短弦+長弦,中鉤と弦の交点座標を(x,y),円の直径を円径として以下の連立方程式を解く。include("julia-source.txt");#julia-source.txtソースhttps://blog.goo.ne.jp/r-de-r/e/ad3a427b84bb416c4f5b73089ae813cfusingSymPy@s...算額(その645)
Roger Penrose:Mathematics & What Exists Episode 2210 Closer To Truth ペンローズ博士が考案した「ペンローズの三角形」が彼の考えている循環的な宇宙論を表しているとは知らなかった。 でも、博士は
出典:日本経済新聞 「中国系ネット通販SHEIN シーインの模倣品販売」... 驚きはありません。 起きるべきして起きたこと。 我々が思う「民間企業」は、中国には存在しません。 他国で設立した法人も同じです
私がいつも気を付けている事は目先の現象に惑わされない事。 音素が離散的である事は音韻論を少しかじれば誰でも分かるが、問題は何故、音素が離散的であるのかと言う事であると私は思った。 音素は離散的であ
最近、時々、デジタルとアナログ。 或いは、離散と相似という概念について考える事がある。 後、自己同一性と自己相似性がある。 何故「似ている」と思えるのだろうかと考えてしまう。 似ているといえる
南岸低気圧のち二つ玉低気圧のち冬型の気圧配置で久々の寒波?(240119)
実は2022年7月1日から、再びひっそりとブログを更新中(再開というほどのモノではありません)。 Twitterのツブヤキはストーリー性に欠けるので「ブログで再構成・補足してみよう」という趣旨。 以前のように千日回峰行的に毎日更新するつもりはないのですが、ブログ
徳島のウミガメ上陸が0になったという、心配なニュースです。(でももっと前から減ったいたそう)「ウミガメ産卵ゼロになった徳島、以前の上陸個体を和歌山で確認…「青い光出す工場が影響」との声も」gooニュースhttps://news.goo.ne.jp/article/yomiuri/region/20240112-567-OYT1T50066 これは、私も砂浜が悪いのか、光害なのか、周りの環境が悪いのか、混獲なのか、砂浜の温度なのか、海中の悪化か(土木建設や砂の採掘など)、海の海流が気候変動とか、何かでおかしいのか、人間の船の往来が影響しているのか?養殖が影響しているのか?天敵の捕食圧が高い?・・・と考えてみて、それなりにネットで調べてみましたが・・・分かりませんでした。しょせん、データも情報も何もない素人で...ウミガメ産卵ゼロになった徳島:原因について
オムロン製を騙る、血糖値が測れると詐欺広告のスマートウォッチ
如何にもオムロンが血糖値を測定できるスマートウォッチを販売しているかの如き宣伝が入りました。先に記事にしましたが、僅か1万円の商品で血糖値を計測するのは不可能です。スマートウォッチW11DL A5F3の機能評価(7)--血糖値。測定できなくて当然なのにそれらしく変化
地球さんに感謝を贈ろう🎁 一緒にありがとうを贈ってくださるチェリッシュフレンズ募集しております。 Twitterフォローお願い致します。⤵⤵⤵ We are grateful for Earth. Give “ARIGATO” to the earth.地球人として思いをひとつにして地球さんに感謝を伝えませんか。「ありがとう」を大切な地球さんに贈りましょう。高熱を出して苦しんでいる地球さんが元氣を取り戻しますように。Cherish the Earth #CherishEarth #チェリッシュフレンズ— 地球さん🌏ありがとうCherish Earth (@CherishEarth) 2020年…
紙ハンガーのメリットは何でしょうか。一般的な針金やプラスチックとの違いを考えると印刷できるのでおしゃれなデザインに出来ます。また意外にタフだし、捨てるとき普通の燃えるゴミなので捨てやすいです。ただし紙ハンガーにメリットはあるものの高いのが問題です。
1/18 M6.4 トンガ、大地震は2つつづく!! 地震予知 M4 日本
テレビ予知 1月--確率10-15% 1/17-20 M6 アリューシャン列島(水晶) 1/17-20 M5-6 アフガニスタン(岩のかたまり、王宮と町、浮島) 1/17-20 M6-7 インドネシア西(恐竜) 大阪は曇り やっと寝た。電子部品が届いた。そこにゲルマニウム・ダイオードがある。まずはラジオから。昨夜、すぐに受信しなかった。誰でも簡単にできるはずが、なぜ? 俺は…
「科学ブログ」 カテゴリー一覧(参加人数順)