はてなブログトップ

射

このタグでブログを書く

射

このタグの解説について

この解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

Maxima で綴る数学の旅•6ヶ月前

-数学- Lean4のお勉強　モノイド、群と写像（射）

Mathematics In Lean 4の第8章群と環に進みます。第8章ではこれらの代数構造について部分集合や代数構造間の写像をLean4で表現する方法を学びます。代数構造としてはより単純なモノイドも扱います。演算の言葉として加法や乗法が出てきますが、主に記号の違いと思ってください。今回は8.1 モノイドと群を読んでいきます。以下の代数構造はすでにLean4 / Mathlibに定義されていてすぐに使えます。 Monoid, addMonoid, addCommMonoid Group, addGroup, addCommGroup Commがつけば可換、addがつけば加法群です。加…

#モノイド#群#写像#射#同型射

ネットで話題

もっと見る

520ブックマーク Hiromitsu Takagi on Twitter: "この指摘が的を射ていると思った。そもそも口座振替って誰にでも振替先となる（自動引き落しさせる）のを認めるものじゃないのでは？公共料金だったりクレジットカードだったり、学会の年会費にも使えたりするが、それなりの組織を介した口座振替依… https://t.co/U2z1Q6da8v"

503ブックマーク矢をバンバン射たくないですか？

anond.hatelabo.jp

374ブックマーク「これからも安倍総理とともに解決を図っていきたい」「的を射ていない発言をするのはやめてほしい」横田めぐみさんの弟・拓也さんと哲也さん | ABEMA TIMES

370ブックマーク「女性の地方離れ」がトレンド入り、止まらない一極集中に様々な声「女性の地方離れについて、なかなか辛辣だけど的を射た意見」

368ブックマーク射精っていうほど射か？(追記)

anond.hatelabo.jp

308ブックマークパキスタンにミサイル誤射インドが発表

264ブックマーク江戸時代に作られた弓で射る鏑矢の音が予想外でびっくり「凄い!」「平家物語に出てくるあれだ」

261ブックマーク二宮神社の的を弓で射る神事を弓の識者が「弓の張り方が逆」と指摘、命の危険がある間違えであるため当事者に伝える展開へ

214ブックマーク「無知の知」「不射の射」

anond.hatelabo.jp

関連ブログ

「論語を現代に活かす」　時代を超えて読まれた名著•6年前

ラグビー日本代表小さな巨人田中史朗【力を為すや科を同じくせず】 Vol.59

子曰わく、射は主皮（しゅひ）せず。力を為すや科を同じくせず。古の道なり。（「八佾第三」16）（意味）「礼射は的（皮）に中（あ）てるだけではない。また、人民を労役に使うとき、体力差で分ける。これがかつて古代で行なわれていた正しい方法なのである。」（論語加地伸行）「射」には礼射と武射があるという。武射は実戦用で的にあてることや力強く射抜くことなどが目的で、一方、礼射は礼式用で、音楽に合わせて作法に従って行うという。その際、五善ができていなくてはならないとする。五善のひとつに和容がある。これは礼儀に適った身のこなしや姿のことという。主皮（的にあてること）は五善のひとつにすぎないと加地は解説す…

#論語#八佾第三#射#ラグビー#礼射#武射