Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
献上図式(けんじょうずしき)とは、幕府などに献上された詰将棋の作品集のこと。図式とは詰将棋の意味。 献上図式は、初代家元制名人の初代大橋宗桂が将棋所に就任したのに応じて後陽成天皇に作品集を献上した(『言経卿記』慶長7年12月3日の記述)のが最初とされる。2代名人の二代大橋宗古がこれを踏襲し幕府に作品集を献上した。
『象戯図式』(しょうぎずしき)は、江戸時代に発行された古将棋の解説書である。 初代・伊藤宗看により江戸幕府に献上されたことが始まりである。現存のものは筆写本であり、正確な筆写年代は不明である。 将棋(小象戯・図は略されている) 中将棋(中象戯) 大将棋(太象戯) 天竺大将棋(天竺大将基) 大大将棋(太太象戯)
図式追跡(diagram chasing, diagram chase)とは、特にホモロジー代数において用いられる数学的証明の手法である。可換図式が与えられると、図式追跡による証明は、単射や全射あるいは完全列といった図式の性質の形式的な使用を伴う。三段論法が構成され、図式
図式と呼ぶのである。 よく使われる図式では、添え字圏 J は小さい圏や有限である。このとき、図式は小さいとか有限であるという。 圏 C 上の J-型図式の射とは、これら関手の間の自然変換をいう。これは C 上の J-型図式の圏というものを関手圏 CJ として、したがって図式
壊変図式(かいへんずしき、Decay scheme)あるいは原子核崩壊図とは放射壊変の推移とそれらの関係を図示したものである。 壊変図式には、一番上に初期状態の核種(元素記号とその左上に質量数、左下に陽子数)が書かれ、その付近に半減期が、更に崩壊モードが特殊な核種(電子捕獲など)には崩壊モードが書か
へそよりも10センチほど下にあり、腰骨のあたりとなる。 レオナルドのドローイングは、古代に書かれたウィトルウィウスの著作を、彼独自の人体に対する観察で昇華したものであることに留意する必要がある。描かれている真円ではへそを中心としているが、正方形はへそを中心としておらず(注:原著にも正方形はへそ
一式標的機(いっしきひょうてきき)は、大日本帝国海軍の無人標的機。略符号は「MXY4」。 航空機が曳航する吹流しに代わる艦艇の空中射撃標的として、滑空標的機(MXY3)に引き続き海軍航空技術廠(空技廠)によって1940年(昭和15年)に開発が開始された。設計主務者は山本晴之技師。製造は美津濃グライ
完全な形式的検証は、システムにプログラミングの誤りがないことを保証する既知の唯一の方法である。 “ ” ACMシンポジウムで発表された論文の要約から 形式的検証の適用例としては、内部にメモリを持つ暗号回路、組み合わせ回路、デジタル回路などのシステム、ソースコードで表現されるソフトウェアがある。 これらのシステムの検証