タグ

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

  • 継続的インテグレーション - Wikipedia

    継続的インテグレーション(けいぞくてきインテグレーション、英: continuous integration、CI)とは、すべての開発者の作業コピーを定期的に共有されたメインラインにマージすることである。1日複数回行われるのが一般的である[1]。グラディ・ブーチは1991年のメソッド[2]でCIという用語を最初に提案したが、彼は1日に数回の統合を提唱していなかった。エクストリームプログラミング(XP)ではCIの概念を採用し、1日に1回以上、おそらく1日に何十回も統合することを提唱した[3]。 開発者は変更に着手するとき、現在のコードベースのコピーを取って作業する。他の開発者が変更したコードをソースコードリポジトリに提出すると、このコピーは徐々にリポジトリのコードを反映しなくなる。既存のコードベースが変更されるだけでなく、新しいコードを追加したり、新しいライブラリやその他のリソースを追加した

    minamishinji
    minamishinji 2024/05/16
    違和感のある定義だ… | “すべての開発者の作業コピーを定期的に共有されたメインラインにマージすることである”
  • 竹内関数 - Wikipedia

    再帰的に定義される、3個の引数 x, y, z をとる次のような関数である。 特に変わる所は無いがLisp版[1]も参照のこと。定義からわかるように処理を次々にたらい回しにしていくことから、たらいまわし関数[2]、たらい関数 (Tarai function) とも呼ばれる(後述のマッカーシー版との混同を避けるためこの名で呼ばれることのほうが多いが、こちらの定義のほうがオリジナルである。マッカーシー版を特にTak関数として区別する場合もある)。電電公社研究員(当時)の竹内郁雄が、1974年の夏前の頃、後述するような特性のある関数をあれこれ考えていた、ある日の午前に思いついたものである[3]。竹内関数と命名したのは野崎昭弘である[4]。 特性として、他のよくベンチマークに使われる関数と比較して、たとえばフィボナッチ数を何の工夫もなく計算するいわゆるダム(dumb)フィボナッチと比較して、計算量

  • アルゼンチン経済の歴史 - Wikipedia

    この項目では、植民地時代から2000年までの経済史について説明しています。通史については「アルゼンチンの歴史」をご覧ください。 アルゼンチン経済の歴史は、経済学の研究対象として非常に高い関心を集めている主題である。何故ならば、アルゼンチンは「アルゼンチンのパラドックス」とも言われる特異な歴史を経ていることが背景にある。アルゼンチンは20世紀はじめに加速度的な経済発展を遂げながら、その後の凋落もまた加速度的であり、先進国(ただし農業・畜産業国)から発展途上国に転落した唯一の国となった原因については豊富な論文が書かれて様々に分析されてきた[1][2]。アルゼンチン経済の歴史とは、ペロン主義[3]の歴史である。ペロン主義者は1946年のフアン・ペロン大統領の初就任以降、軍部独裁期間の1976~1983年を除き、ほとんどの選挙で勝利し、2023年時点で最短20年・ペロン系左派ポピュリズム政権を含む

    minamishinji
    minamishinji 2022/07/22
    これは詳しく知りたい。
  • 多和田葉子 - Wikipedia

    『犬婿入り』(1993年) 『ヒナギクのお茶の場合』(2000年) 『球形時間』(2002年) 『容疑者の夜行列車』(2002年) 『雪の練習生』(2011年) 『雲をつかむ話』(2012年) 『献灯使』(2014年) 『地球にちりばめられて』(2018年) 群像新人文学賞(1991年) 芥川龍之介賞(1993年) シャミッソー賞(1996年) 泉鏡花文学賞(2000年) ドゥマゴ文学賞(2002年) 伊藤整文学賞(2003年) 谷崎潤一郎賞(2003年) ゲーテ・メダル(2005年) 早稲田大学坪内逍遙大賞(2009年) 紫式部文学賞(2011年) 野間文芸賞(2011年) 読売文学賞(2013年) 芸術選奨(2013年) クライスト賞(2016年) 国際交流基金賞(2018年) 全米図書賞(2018年) 朝日賞(2020年) 紫綬褒章(2020年) 毎日出版文化賞(2023年) 日

    多和田葉子 - Wikipedia
    minamishinji
    minamishinji 2019/10/10
    ノーベル賞候補ということ。しらなかった。
  • 南洋諸島 - Wikipedia  #宗教 ##管内神社一覧

    南洋諸島(なんようしょとう、旧字体:南洋諸󠄀島)は、かつて大日帝国が国際連盟によって委任統治を託された西太平洋の赤道付近に広がるミクロネシアの島々を指す。現在の北マリアナ諸島・パラオ・マーシャル諸島・ミクロネシア連邦に相当する地域である。 別名は南洋群島(なんようぐんとう)。当時の日人は内南洋(うちなんよう)とも言った[注釈 1]。 この地域は16世紀初めにポルトガルの航海者によって発見された[1]。17世紀初頭よりスペインはこの地一帯を植民地化し、フィリピンと共に「スペイン領東インド」を形成していた。同地のマリアナ諸島やカロリン諸島という地名は、それぞれマリアナ王妃やカルロス2世国王に由来する。 その後、1899年(明治32年)にドイツの植民地となった[1]。1885年にドイツはマーシャル諸島を占領。そして、米西戦争で負けたスペインスペイン領東インド(フィリピン、グアムを除く)の

    南洋諸島 - Wikipedia  #宗教 ##管内神社一覧
    minamishinji
    minamishinji 2017/09/12
    旧日本領を回るのやってみたい
  • エフェメラリゼーション - Wikipedia

    この記事の出典や参考文献は、一次資料や記事主題の関係者による情報源に頼っています。 信頼できる第三者情報源とされる出典の追加が求められています。 出典検索?: "エフェメラリゼーション" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2023年1月) この記事で示されている出典について、該当する記述が具体的にその文献の何ページあるいはどの章節にあるのか、特定が求められています。 ご存知の方は加筆をお願いします。(2023年2月) 短命化とも訳されるが、より多くの機能をより少ない資源・エネルギーで成し遂げる新しい技術・道具の登場で既存の技術・道具が陳腐化していく現象、そして、その一つの技術が陳腐化し新しい技術に取って代わられる期間が科学技術の進歩により、加速度的に短くなってきていることを指す。主に単位

  • バランスト・スコアカード - Wikipedia

    バランスト・スコアカード(英: balanced scorecard, BSC、バランス・スコアカードとも)は、ロバート・S・キャプラン(ハーバード・ビジネス・スクール教授)とデビッド・ノートン(コンサルタント会社社長)が1992年に「Harvard Business Review」誌上に発表した業績評価システムである。 この概念は、従来の財務的指標中心の業績管理手法の欠点を補うものであり、戦略・ビジョンを4つの視点(財務の視点・顧客の視点・業務プロセスの視点・学習と成長の視点)で分類し、その企業の持つ戦略やビジョンと連鎖された財務的指標、及び非財務的指標を設定する必要がある。 なお、このバランスト・スコアカード(BSC)の概念は、業績評価システムから出発し、経営者情報システムとして発展した後、キャプラン/ノートンの最新著作においては、戦略的経営システムとして位置付けられている。 典型的な

  • 自動定理証明 - Wikipedia

    アルゴンヌ国立研究所は1960年代以降2000年代まで、自動定理証明のリーダーだった。 自動定理証明(じどうていりしょうめい、英: automated theorem proving, ATP)とは、自動推論 (AR) の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理に対する証明を発見すること。ベースとなる論理によって、定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である。 論理学の起源はアリストテレスまで遡るが、現代的数理論理学は19世紀末から20世紀初頭に発展した。フレーゲの『概念記法』(1879) が完全な命題論理と一階述語論理の基的なものを導入[1]。同じくフレーゲの『算術の基礎』(1884)[2]でも、形式論理の数学(の一部)を説明している。この流れを受け継いだのがラッセルとホワイトヘッドの『プリンキピア・マテマティカ』で、初版は19

    自動定理証明 - Wikipedia
    minamishinji
    minamishinji 2013/12/06
    よくまとまってる。
  • 蒲島郁夫 - Wikipedia

    蒲島 郁夫(かばしま いくお、1947年〈昭和22年〉1月28日 - )は、日政治家、政治学者。熊県知事(公選第17・18・19・20代)、東京大学名誉教授、新しい日をつくる国民会議(21世紀臨調)運営委員。専門は政治過程論、計量政治学。 来歴[編集] 生い立ち[編集] 熊県鹿郡稲田村(現・山鹿市鹿町)生まれ。熊県立鹿高等学校卒業。高校時代は「220人中200位」の劣等生だったが、政治家、小説家、牧場主のいずれかになることを夢見ていた[1]。高校卒業後、自動車販売会社に勤めたが3週間で辞め、地元・稲田村の農業協同組合(のちのJA鹿)に就職した。1968年からアメリカ合衆国で農業研修に従事し、1971年にネブラスカ大学農学部に入学して畜産学を修めた(専攻は豚の精子の研究)。1974年、ネブラスカ大学農学部を卒業。ネブラスカ大学大学院修士課程に進学して農業経済学を専攻し、1

    蒲島郁夫 - Wikipedia
    minamishinji
    minamishinji 2013/07/30
    Twitterで知る。面白い人やなぁ。
  • 感度 - Wikipedia

    感度(かんど、英: sensitivity)は、統計的な概念の一つ。分野によって定義が異なっているが、おおむね「ある対象に与えた刺激とそれに対する応答の関係」に関わる指標である。 感度 (火薬学) - 火薬の外部からの刺激に対する爆発感度性の尺度。 感度 (写真) - ISO感度。国際標準化機構(ISO)で策定された写真フィルムの規格であり、あるフィルムがどの程度弱い光まで記録できるかを示す。 感度 (電子工学) - 電子デバイスにおいて、ある信号対雑音比を有する出力信号を生成するために必要な入力信号の最小値。 感度 (計測機器) - 計測機器の分野においては、感度限界、感度係数のどちらかを意味する。 感度 (無線) - 無線電信において、アンテナの利得、受信機の感度を指したり、受信状態を表現するのに用いられる。 感度 (検査) - ある検査について「陽性と判定されるべきものを正しく陽性と

    minamishinji
    minamishinji 2013/07/11
    感度、特異度についての説明
  • 平遥古城 - Wikipedia

    平遥古城(へいようこじょう、中国語ではPingyao Gucheng)は中国山西省晋中市平遥県の古い城郭都市。省都の太原から南へ100キロの地点にある。1997年、ユネスコの世界遺産(文化遺産)に登録。中国の5A級観光地(2015年認定)[1]。 平遥古城の街並み 平遥は明代から清代末期まで晋商とよばれる山西商人の拠点であり、特に清代末期は為替業務で栄えた中国の金融中心地であったが、清末から民国期の動乱に際して業務継続が困難となり、20世紀後半には貧困地域に転落した。 しかしながら、県財政に余裕がないために都市の再開発が行われず、結果として平遥古城には14世紀の明代始めに造営された町がそのまま残ることとなった。明代から清代にかけての中国の典型的な城郭(城牆)、街路の配置、商店や住居などの古建築の保存状態はよく、中国でも最も整っているもののひとつである。また、古城内に学校、工場、病院なども備

    平遥古城 - Wikipedia
    minamishinji
    minamishinji 2012/06/03
    行きたい
  • カルマンフィルター - Wikipedia

    カルマンフィルター (英: Kalman filter) は、誤差のある観測値を用いて、ある動的システムの状態を推定あるいは制御するための、無限インパルス応答フィルターの一種である。 カルマンフィルターは、 離散的な誤差のある観測から、時々刻々と時間変化する量(例えばある物体の位置と速度)を推定するために用いられる。レーダーやコンピュータビジョンなど、工学分野で広く用いられる。例えば、カーナビゲーションでは、機器内蔵の加速度計や人工衛星からの誤差のある情報を統合して、時々刻々変化する自動車の位置を推定するのに応用されている。カルマンフィルターは、目標物の時間変化を支配する法則を活用して、目標物の位置を現在(フィルター)、未来(予測)、過去(内挿あるいは平滑化)に推定することができる。 カルマンフィルターは時間領域において、連続時間線形動的システム、もしくは離散化された離散時間線型動的システ

    minamishinji
    minamishinji 2012/02/29
    カルマンフィルターについて
  • ユニケージ開発手法 - Wikipedia

    この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。(2022年2月) 独自研究が含まれているおそれがあります。(2022年2月) 独立記事作成の目安を満たしていないおそれがあります。(2022年5月) 広告・宣伝活動的であり、中立的な観点で書き直す必要があります。(2022年5月) 出典検索?: "ユニケージ開発手法" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL ユニケージ開発手法 (ユニケージかいはつしゅほう、英: Unicage software development method)とは業務システム用の商用開発手法の1つ。ベンチャー企業ユニバーサル・シェル・プログラミング研究所(USP

    minamishinji
    minamishinji 2012/02/23
    今日聞いた話。
  • 金栗四三 - Wikipedia

    金栗 四三(かなくり しそう〈読みについては後述〉、1891年〈明治24年〉8月20日 - 1983年〈昭和58年〉11月13日[1][2])は、日のマラソン選手、学校教員。位階は従五位。 青壮年期にオリンピックのマラソン競走に日本代表選手として参加した。また裏方としても各マラソン大会や東京箱根間往復大学駅伝競走(箱根駅伝)の開催に尽力したり[3]、日に高地トレーニングを導入したりするなど、日マラソン界の発展に大きく寄与したことから「日マラソンの父」と称される[4]。 金栗は、1891年(明治24年)8月20日に熊県玉名郡春富村(現在の和水町)の15、6代続いた村の名家に8人兄弟の7番目として生まれた。名の「四三」は、誕生時に父の年齢が43歳であったことに由来する。四三は5歳頃までは異常体質と言われるくらいひ弱な子どもで、特に2歳の頃までは夜泣きをしては家中の者を困らせていた。し

    金栗四三 - Wikipedia
    minamishinji
    minamishinji 2012/01/02
    先ほどNHKで知る。54年超というマラソンの公式記録。素敵なお話。
  • 利用者‐会話:Kitahata - Wikipedia

    Hello, Kitahata! Welcome to Japanese Wikipedia. If you are not a Japanese speaker, you can ask a question in Help. Enjoy! ウィキペディアの機能や使い方に関してわからないことがあったら利用案内で質問できます。 Kitahataさんがウィキペディアにおいて実り多き執筆・活動をなされることを楽しみにしております。--Trgbot 2011年7月28日 (木) 20:06 (UTC)[返信] はじめまして。海獺と申します。 現在のアカウントですと、編集されたものがご人もしくは関係者の方による広告・告知目的とみなされる場合があります(アカウント名を変えれば良いというお話ではありません)。 「Wikipedia:中立的な観点」、「Wikipedia:独自研究は載せない」、「Wik

  • 1