【初めてのJuliaプログラミング】とある有限群を具体的に求めてみた。
こちらは「 日曜数学 Advent Calendar 2020 」の記事です。 素敵な力作がたくさん集まってますので、ぜひ読んでみてください。 Introduction以前、Mathlogさんに ３日前に群を知ったねこ という記事を書き、円周群を取り上げました。 集合$C$を以下とする。 $$ C=\{(x,y)|x,y \in \mathbb{R},\ x^2+y^2=1\} $$ $C$の任意の元$(x_1,y_1),(x_2,y_2)$に対して、ある実数$\theta_1,\theta_2$が存在して $$ (x_1,y_1)=(\cos\theta_1,\sin\theta_1)\\ (x_2,y_2)=(\cos\theta_2,\sin\theta_2)\\ $$ と表せる。 演算$\cdot$を以下のように定義する。 $$ (x_1,y_1)\cdot(x_2,y_2)=(\
Rubyと型についてのポエム - まめめも
zenn.dev matz はじめコミッターの型に対する姿勢にも疑問を持っています。 というご意見が自分に刺さった気がしたので、他の話題はともかくこの点に関してだけ、ポエムを書きます。 「Rubyに型が欲しい」というのは、「もっと速い馬が欲しい」だと思っています。意味を知らない人は ヘンリー・フォード もっと速い馬が欲しい で検索してください。 これは批判でも皮肉でもありません。みんなが馬の乗り方を知っている世界では、誰も乗り方を知らない自動車より、速い馬のほうが確実で合理的です。まして、自動車が本当に実現できるかどうかわからない段階では。なので、他言語で型注釈を書くことによるプログラミング体験が良いと思った人が、それをRubyでも享受したいと思うのは自然だと思います。実際、Steep や Sorbet は Ruby でそういうプログラミング体験を提供することを目指していて、すでにある程度
コロナ状況、ポータルサイトに 広島市内の感染者数や検査数、１日２回更新 | 中国新聞デジタル
広島市内の新型コロナウイルスの感染状況について最新情報を発信するポータルサイトを、市立大大学院情報科学研究科の多々納啓人さん（２３）＝佐伯区＝が作った。市が発表する感染者数や検査数などの情報を１日２回、自動で更新し、グラフなどで表示する仕組み。「情報の見える化により、感染予防に役立てばうれしい」と話している。 サイトは、検査数や累積の陽性患者数、患者数のうち入院、死亡、退院の内訳を掲載。日別の推移が分かるグラフもある。週末を除く正午と午後３時に自動更新する。 多々納さんは、ネット上に技術者が公開しているソフトを広島市用にカスタマイズ。市のオープンデータを取り込んで更新するシステムを約２週間掛けて構築した。「公共のデータを生かし、誰もが見られるのが特徴」と話す。 市情報政策課がホームページ上で公開しているデータの活用を同研究科に持ち掛け、サイトの開設が決まった。市から感謝状を贈られた多々納さ
鞘師里保、さんまに感謝 モー娘。卒業時の助言「後悔が楽しいねん」 - スポニチ Sponichi Annex 芸能
鞘師里保、さんまに感謝 モー娘。卒業時の助言「後悔が楽しいねん」
「ステイホームと言いながら旅行しろ。むちゃくちゃ」 自民からGoTo見直しの声（毎日新聞） - Yahoo!ニュース
与党内では、GoToトラベルを続けて内閣支持率がさらに低下すれば、1年以内に想定される衆院解散・総選挙への影響が避けられなくなると懸念する声も出ていた。 【図解でおさらい】家族が自宅待機になったら 「世論は『GoToはやめろ』ということだな」。公明党の重鎮は12日の毎日新聞世論調査で内閣支持率が前回（11月7日）の57％から40％へと17ポイント急落したことを受け、そう述べた。政府は新型コロナの感染防止と経済の両立を掲げGoToを続けてきたが、冬場の感染再拡大が現実となり、菅義偉内閣を「支持しない」が「支持する」を初めて逆転。自民党の中堅は「世論に敏感にならないといけない」と焦りを隠さず、ベテランは「ステイホームと言いながら旅行しろと言っている。むちゃくちゃだ」と言い放った。政府が14日に事業停止を表明したのは、こうした声に押された形だ。岸田文雄前政調会長は14日のBS番組で「国民の協力や
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
if-then-else/if-then-else.md at master · e-n-f/if-then-else
WHO「サンタの移動問題なし」 各国が隔離免除 ｜ 共同通信