タグ

ブックマーク / ja.wikipedia.org (63)

  • 紙幣類似証券取締法 - Wikipedia

    紙幣類似証券取締法(しへいるいじしょうけんとりしまりほう、明治39年法律第51号)は、紙幣類似の作用・機能を有する物の発行等を取り締まることを目的とする日の法律。なお、刑法施行法(明治41年法律第29号)19条1項・2条により、法の「重禁錮」は「懲役」に改められている。 条文[編集] 第一条 一様ノ形式ヲ具ヘ箇々ノ取引ニ基カスシテ金額ヲ定メ多数ニ発行シタル証券ニシテ紙幣類似ノ作用ヲ為スモノト認ムルトキハ財務大臣ニ於テ其ノ発行及流通ヲ禁止スルコトヲ得 前項ノ規定ハ一様ノ価格ヲ表示シテ物品ノ給付ヲ約束スル証券ニ付之ヲ準用ス 第二条 前条ニ依リ証券ノ発行及流通ヲ禁止シタルトキハ財務大臣ハ直ニ其ノ旨ヲ公告ス 禁止ノ公告後ニ発行シ又ハ流通セシムルノ目的ヲ以テ授受シタル証券ハ無効トス 第三条 禁止ニ違反シテ証券ヲ発行シ又ハ其ノ証券ヲ授受シタル者ハ一年以下ノ重禁錮又ハ千円以下ノ罰金ニ処シ其ノ証券ヲ没

    紙幣類似証券取締法 - Wikipedia
  • Racket - Wikipedia

    Racket (旧称 PLT Scheme) は、Schemeから派生したプログラミング言語である。Racket プロジェクトは以下の4つから構成されている。 スクリプト処理系、Racket (リッチなランタイムシステム, 豊富なライブラリ, JITコンパイラ などが含まれる) Racketプログラムの開発環境、DrRacket (旧称 DrScheme) コンピューティングとプログラミングを"教養教育カリキュラムの必須分野にする"試み ProgramByDesignアウトリーチ・プログラム。[2] Racketのユーザ作成パッケージの配布システム PLaneT[3]。 歴史[編集] Racket を開発したPLT project は、1990年代中ごろに, Matthias Felleisenによってまず研究グループとして立ち上げられ、その後すぐに、プロジェクトは初心者プログラマ向けの教

  • パースの法則 - Wikipedia

    パースの法則(パースのほうそく)は哲学者であり論理学者であるチャールズ・サンダース・パースにちなむ論理学における法則である。彼の最初の命題論理の公理化において、この法則を公理に採用した。この公理は、含意と呼ばれるただひとつの結合子を持つ体系における排中律であると考えることもできる。 命題計算では、パースの法則は ((P→Q)→P)→P のことを言う。この意味するところを書き出すと、命題Pについて、命題Qが存在して、「PならばQ」からPが真であることが従うときには、Pは真でなければならないとなる。とりわけ、Qとして偽を選んだ場合には、Pから偽が従うときは常にPが真であるならば、Pは真であるとなる。 パースの法則は直観論理や中間論理では成立せず、演繹定理だけからでは導くことができない。 カリー=ハワード同型対応の下では、パースの法則は継続演算子(例えばSchemeにおけるcall/cc)の型で

  • ロング・ナウ協会 - Wikipedia

    ロング・ナウ協会(Long Now Foundation)は、きわめて長期にわたって存続する文化施設・文化機関の種になることを目指している1996年設立の民間組織である。それは今日の”より早く、より安く”という考え方とは対照的要素である”よりゆっくり、よりよく”を推進しようとしている。 ロング・ナウ協会は次の一万年の構成の中で創造的に責任を育てようとしている。この範囲を強調するために、協会は西暦を1996年という4桁ではなく、01996年という5桁で表現している。 計画[編集] ロング・ナウ協会は一万年時計、ロゼッタプロジェクト、長期的な賭け、別名ロングビューワーであるタイムラインというオープンソース、長いサーバーと毎月のセミナーを含むいくつかの計画を進行させている。 ロング・ナウ時計[編集] ロング・ナウ時計の目的は、一万年の間人間の力が最小限で動作する時計を建築することである。時計は奪

  • エアレンデル - Wikipedia

    ^ a b c d e f g h i j Welch, Brian (21 January 2022). “A Highly Magnified Star at Redshift 6.2”. Nature 603 (7903): 1–50. doi:10.1038/s41586-022-04449-y. PMID 35354998. オリジナルの30 March 2022時点におけるアーカイブ2022年3月30日閲覧。. ^ a b c d Kabir (2022年3月31日). “Hubble Detects Earendel, The Farthest Star Ever Seen. It's 28 Billion Light Years Away”. ABP Live. ABP News. 2022年3月31日時点のオリジナルよりアーカイブ2022年3月31日閲覧。 ^ a

    エアレンデル - Wikipedia
  • 贔屓 - Wikipedia

    この項目では、中国の伝説上の生物について説明しています。応援・愛顧を意味する日語については「ひいき」をご覧ください。 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "贔屓" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年8月) 北京市香山公園に残る贔屓が背負う石柱。 贔屓(贔屭、ひき、拼音: Bìxì)は、中国における伝説上の生物。石碑の台になっているのは亀趺(きふ、拼音: Guīfū)と言う。覇下(はか)とも呼ばれる。 概要[編集] 中国の伝説によると、贔屓は龍が生んだ9頭の神獣・竜生九子の一つで、その姿は亀に似ている。重きを負うことを好むといわれ、そのため古来石柱や石碑

    贔屓 - Wikipedia
  • Houdini - Wikipedia

    Houdini(フーディニ)は、3DCGソフトウェアの一つである。カナダ・トロントのSide Effects Software社によって開発・販売されている。もともとはPRISMSというソフトの改変によって開発された。Houdini Apprenticeと呼ばれるバージョンは、非商用であれば無料でダウンロードし使用できる。 概要[編集] Houdiniは他の統合型3DCGソフトウェアと比較して破壊的モデリング機能が劣るものの、高度な各種物理現象のシミュレーション機能があるため映画テレビCMのVFX制作で多用されている。また、高度なプロシージャルモデリングが可能であり、ゲーム業界でも普及が進んでいる[1]。 キャラクターアニメーション周りも筋肉シミュレーション[2]や群集シミュレーション[3]などの高度な機能を搭載している。 オペレータ (演算子)[編集] Houdiniのプロシージャルな

  • ペロン=フロベニウスの定理 - Wikipedia

    数学の線型代数学の分野におけるペロン=フロベニウスの定理(ペロン=フロベニウスのていり、英: Perron–Frobenius theorem)とは、オスカー・ペロン(英語版)とゲオルク・フロベニウスによって証明された定理で、成分が正である実正方行列には唯一つの最大実固有値が存在し、それに対応する固有ベクトルの各成分は厳密に正である、という主張が述べられている。また、あるクラスの非負行列に対しても、同様の主張が述べられている。この定理は様々な方面へと応用され、確率論(エルゴード性やマルコフ連鎖)や、力学系の理論(有限タイプのサブシフト(英語版))、数値解析 (特に数値線形代数)[1]、経済学(置塩の定理、レオンチェフの産業連関表)[2]、人口学(レスリーの人口年齢分布モデル(英語版))[3]や、インターネット検索エンジン[4]からフットボールチーム[5]のランキングに至るまで、その応用範囲

  • ゼンタングル - Wikipedia

    「Deutsch: Abbildung eines Tangles」(2010) Trinity Verlag in der Scorpio Verlag GmbH & Co.KG作 ゼンタングル(英: zentangle)は、簡単な模様を繰り返し描くことで抽象絵画を作成するペン画のメソッドである。ZentangleのZenは「禅」を意味し、アートに瞑想の要素を取り入れ、メソッドに従って作業に没頭することで自然に高い意識レベルに到達できるとされている[1]。アメリカマサチューセッツ州のリック・ロバーツとマリア・トーマスによって2004年に開発され、商標登録されたメソッドであり、趣味の作画以外にもアートセラピーなどのリラクゼーションに利用されている[1]。 メソッド[編集] ゼンタングル作品は基となる5種類(点、直線、曲線、S字曲線、円)のストリング(線)を使ってタイル(画用紙)の空間を分

    ゼンタングル - Wikipedia
  • 赤旗法 - Wikipedia

    赤旗法(あかはたほう、英: Red Flag Act)とは、19世紀後半に英国で施行された法律。正式にはLocomotive Act。 英国の公道における自動車(当時は大多数が蒸気自動車で、ガソリン車はまだ実用化されていなかった)の運用方法について定めた法律であり、歩行者や馬車の安全に配慮するという名目ではあったが、実際には馬車関連業者の権益を保護するために自動車を規制しようとした法律である。結果的に同国における自動車産業の発達を妨げ、ドイツやフランスに遅れをとることになる[1]。1865年に制定された機関車法(The Locomotive Act 1865)にはじまる。 貴族のチャールズ・スチュアート・ロールズ(ロールス・ロイス社創業者)らが、制限速度を無視した走行で赤旗法撤廃運動[2]をおこなった。その結果イギリスでの赤旗法は1896年に廃止された。 条例[編集] The Locomo

  • 九章算術 - Wikipedia

    九章算術の1頁。劉徽の註釈。 九章算術の影宋(宋代のを復刻した) 『九章算術』(きゅうしょうさんじゅつ)は、古代中国数学書。 著者は不明だが、加筆修正を経て次第に現在に伝わる形に完成したとされている。研究によると前漢の張蒼や耿寿昌も加筆した。263年に三国時代の魏の劉徽が書の註釈を制作したことなどから、制作年代は紀元前1世紀から紀元後2世紀と考えられている。『算数書』(1983年12月に湖北省江陵県張家山で発見された[1])に続いて、古い数学書である。 構成[編集] 9章に分かれ、延べ246個の問題を収めた、問題集形式の数学書である。『九章算術』の書名は9章からなる構成に由来する。 方田 - 主に田畑の面積の計算(年貢のため)、分数の計算。長方形、三角形、台形、円の面積を求める方法が書かれている。 粟米 - 交換比率が異なる商品を物々交換するための計算、比例算。粟や米に関する

    九章算術 - Wikipedia
  • コスケール洞窟 - Wikipedia

    コスケール洞窟(コスケールどうくつ、英: Cosquer Cave、仏: Grotte Cosquer)は、フランス・マルセイユ付近の地中海の海底にある洞窟である[1][2]。コスキュール洞窟とも表記される[3]。 概要[編集] 1991年、マルセイユ付近の地中海の海底で、多数の壁画が描かれた旧石器時代の洞窟が、ダイバーのアンリ・コスケールによって発見された[2][4]。洞窟の名前は、発見者の名前にちなんで付けられた[5]。周辺は、カランクと呼ばれる純白の岩壁がそびえ立った地形が見られる場所であり、洞窟はカランク・ド・モルジウー(英語版)の付近にある[6][2]。 モルジウー岬の海面下37メートルのところに開いている小さな入り口があることにコスケールが気づいたのは、1985年頃であったとされる[7]。洞窟が発見されたのは、そのおよそ5年後であった。海底にある入り口を入り、狭隘なトンネルを緩

    コスケール洞窟 - Wikipedia
  • ロトカ・ヴォルテラの方程式 - Wikipedia

    この項目では、捕-被関係のロトカ・ヴォルテラの方程式について説明しています。競争関係については「ロトカ・ヴォルテラの競争方程式」を、KEYTALKの楽曲、シングルについては「ロトカ・ヴォルテラ」をご覧ください。 ロトカ・ヴォルテラ方程式の解の一例。縦軸は個体数、横軸は時間。捕者(Predatori、青)と被者(Prede、赤)の個体数変動の位相は一般にずれており、捕者が増加すると、急速に被者が減少し、さらに捕者が減少する、という時間変化を示す。 ロトカ・ヴォルテラの方程式(ロトカ・ヴォルテラのほうていしき、英語: Lotka-Volterra equations)とは、生物の捕-被関係による個体数の変動を表現する数理モデルの一種。2種の個体群が存在し、片方が捕者、もう片方が被者のとき、それぞれの個体数増殖速度を二元連立非線形常微分方程式系で表現する。ロトカ・ヴォルテラ

    ロトカ・ヴォルテラの方程式 - Wikipedia
  • GeoJSON - Wikipedia

    GeoJSON[1]はJavaScript Object Notation(JSON)を用いて空間データをエンコードし非空間属性を関連付けるファイルフォーマットである。属性にはポイント(住所や座標)、ライン(各種道路や境界線)、 ポリゴン(国や地域)などが含まれる。他のGISファイル形式との違いとして、Open Geospatial Consortiumではなく世界各地の開発者達が開発し管理している点で異なる[2]。TopoJSONはGeoJSONに影響され開発された。 歴史[編集] GeoJSONフォーマットについての議論は2007年3月に始まり[3]、フォーマット仕様は2008年6月に完成した。 2015年4月、Internet Engineering Task ForceがGeographic JSON working groupを設立した[4]。2016年8月、GeoJSONはRF

  • Matrix (プロトコル) - Wikipedia

    Matrixは、リアルタイム通信(英語版)のためのオープン標準で軽量な通信プロトコルである。ある通信サービスプロバイダ(英語版)のアカウントを持つユーザが、チャット、VoIP及びテレビ電話を介して、別のサービスプロバイダのユーザとコミュニケーションを行うことができるように設計されている。つまり、標準的なSMTPによる電子メールがストアアンドフォワード型の電子メールサービスで提供されているように、異なるサービスプロバイダ間でリアルタイム通信をシームレスに機能させることを目的としている。 技術的な観点から見ると、Matrixは分散型(英語版)リアルタイム通信のためのアプリケーション層の通信プロトコルである。Matrixはサーバのオープンな連合を介してのJSON形式のメッセージの安全な配布及び永続化のためのHTTP API及びオープンソースのリファレンス実装を提供している[2][3]。WebRT

    Matrix (プロトコル) - Wikipedia
  • 多賀城碑 - Wikipedia

    多賀城碑(たがじょうひ)は、宮城県多賀城市大字市川にある奈良時代の石碑。1998年(平成10年)6月に国の重要文化財に指定され、2024年(令和6年)3月15日に文化文化審議会によって国宝への指定が答申されている(官報告示を経て正式指定となる)[1][2][3]。 当時陸奥国の国府があった多賀城の入口に立ち、724年の多賀城創建と762年の改修を伝える。書道史の上から、日三古碑の1つとされる。 概略[編集] 石材は花崗砂岩(アルコース砂岩)で、現地の南東100メートル(m)に露出する中生代三畳紀の利府層によく似た石がある[4]。碑身は高さ約1.96 m、幅約1 m、厚さ約50 cmで[5]、その一面を平らにして字を彫っている。その額部(碑面上部)には「西」の字があり、その下の長方形のなかに11行140字の碑文が刻まれている。 多賀城碑は、設置者の藤原朝狩(恵美朝獦)が蝦夷平定を成し遂げ

    多賀城碑 - Wikipedia
  • ハイフンマイナス - Wikipedia

    ハイフンマイナス (hyphen-minus) あるいはアスキーハイフン (ASCII hyphen) は、ラテン文字とともに使われる記号 (-) であり、通常は半角幅の横棒である。約物のハイフン (‐) や演算記号のマイナス (−) の意味で使われる記号である[1]。ASCII、JIS X 0201などのISO/IEC 646系の文字コードや、ISO-8859-1などのISO/IEC 8859系の文字コード、UTF-8などのUnicode系の文字コードにおいて0x2Dの符号位置を持つ文字である。 概要[編集] ハイフンマイナスはタイプライター等の記号として入力が可能であった横棒の意味として、演算等で用いる(二項および単項)演算子のマイナスの用途と、欧文等で単語区切りに使用する約物のハイフン、単語途中での改行時に使用するソフトハイフン、区切りを表すダッシュなどの複数の意味で使用されていた。

  • ZFCから独立な命題の一覧 - Wikipedia

    項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は(ZFCが無矛盾であれば)ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。 公理的集合論の命題[編集] ZFCから独立な数学的命題の含意関係 一般の例[編集] ZFCの無矛盾性 - 1931年ゲーデルが、ZFCでは証明できない命題が存在することを初めて示した(ゲーデルの不完全性定理)。とくにZFCの無矛盾性それ自体がZFCで決定不能であることを証明した。 連続体仮説 (CH) - 1940年、ゲーデルはCHが成り立つZFCのモデルを構築することにより、CHがZFCで反証できないことを示した[1]。その後1963年、コーエンが、強制法という手法を用いてCHの否定が成り立つZFCのモデルを示し、CHがZFCで証明できないことを示し

  • ススリンの問題 - Wikipedia

    数学における、ススリンの問題(ススリンのもんだい)とは1920年に発表されたミハイル・ヤコヴレヴィチ・ススリンの遺稿で提示された全順序集合に関する問題である[1]。 この問題は標準的な公理的集合論の体系として知られるZFCと独立であることが知られている。すなわち、この問題はZFCの下で証明も反証もされない[2]。 (Suslinは、キリル文字表記Суслинに由来するフランス翻字でSouslinとも書かれることがある。) 定式化[編集] 空でない全順序集合Rで、以下の4条件を満たすものが与えられたとする。 Rは最小元も最大元も持たない。 R上のその順序は稠密である。(任意の異なる2元の間に、第3の元が必ず存在する。) R上のその順序は完備である。すなわち、任意の空でない有界な集合は上限と下限を持つ。 R上の互いに交わらない空でない開区間の族は、その濃度が高々可算となる。(すなわち、Rは 可

  • 細川頼直 - Wikipedia

    『機巧図彙』 『機巧図彙』に記載される和時計の内部構造の解説 『機巧図彙』を元に復元された茶運び人形とその内部構造(復元品)。国立科学博物館。 細川 頼直(ほそかわ よりなお、生年不詳[1][注 1] - 1796年〈寛政8年〉)は、江戸時代の暦算家、からくり技術者、発明家。通称、半蔵(はんぞう)。字は方郷、丘陵、または万象。土佐藩(後の高知県)出身[4]。武将・細川頼之の子孫との説もある[1]。 人物歴[編集] 同郷の暦算家・川谷薊山の弟子である片岡直次郎から天文学と暦学を学んだ後、寛政時代初期に天文学の勉強のために江戸にのぼり、和算家の藤田貞資に師事して数学を学んだ[5]。1795年(寛政7年)に公儀で改暦の議が起き、諸国から技術者が募られた際には、その1人に選ばれ、天文方暦作助手として寛政改暦の事業に参画した[1]。 からくりなどの発明にも長け、写天儀(天球儀または天体望遠鏡)、日時

    細川頼直 - Wikipedia