充足可能性問題 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Boolean satisfiability problem|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な
中国の剰余定理 - Wikipedia
ガウスは『整数論』（1801年）において中国の剰余定理を明確に記述して証明した[1]。 中国の剰余定理（ちゅうごくのじょうよていり、英: Chinese remainder theorem）は、中国の算術書『孫子算経』に由来する整数の剰余に関する定理である。あるいは、それを一般化した可換環論における定理でもある。中国人の剰余定理（ちゅうごくじんのじょうよていり）、孫子の定理（そんしのていり、英: Sunzi's theorem）とも呼ばれる。 『孫子算経』には、「3で割ると2余り、5で割ると3余り、7で割ると2余る数は何か」という問題とその解法が書かれている。中国の剰余定理は、この問題を他の整数についても適用できるように一般化したものである。 背景[編集] 3 - 5世紀頃成立したといわれている中国の算術書『孫子算経』には、以下のような問題とその解答が書かれている[2]。 今有物、不知其数
学習性無力感 - Wikipedia
学習性無力感（がくしゅうせいむりょくかん、英: Learned helplessness[1]）とは、長期にわたってストレスの回避困難な環境に置かれた人や動物は、その状況から逃れようとする努力すら行わなくなるという現象である。他の訳語に学習性絶望感[2]、獲得された無力感[3]、学習性無気力[4]がある。 なぜ罰されるのか分からない（つまり非随伴的な）刺激が与えられる環境によって、「何をやっても無駄だ」という認知を形成した場合に、学習に基づく無力感が生じ、それはうつ病に類似した症状を呈する[5]。1967年にマーティン・セリグマンらのオペラント条件づけによる動物実験での観察に基づいて提唱され[5]、1980年代にはうつ病の無力感モデルを形成した[6]。 歴史[編集] 心理学者のマーティン・セリグマンが、1960年代にリチャード・ソロモンの元で学生生活をしていた時期に思いつき、それ以来10年
プログラム仕様 - Wikipedia
プログラム仕様（プログラムしよう、英: Program specification）は、プログラムに求められることを定義したものである。プログラムの設計図や開発者から見たユーザーマニュアルの元となる文書のような「非形式的」な形態の場合と、数学的に厳密に動作を定義する「形式的」な形態の場合がある。実際、最もよい仕様は既存のアプリケーションを理解して改善するために書かれたものであることが多いが、重要なソフトウェアは開発前に注意深く仕様を記述する必要がある。仕様は特に常に安定性が求められる外部インタフェースでは重要である。 古典的な分類[編集] ウォーターフォール・モデルなどの古典的開発手法では、以下のようにプログラム仕様を分け、トップダウン的に作成していく。 基本仕様（Basic specification）は、要求仕様に基づいて、機能概要、機能構成、ハードウェア構成、運用の前提条件、性能や品
設定より規約 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "設定より規約" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2019年9月） 設定より規約（せっていよりきやく、英: convention over configuration; CoC）とは、開発者の決定すべきことを減少させ、単純にするが柔軟性は失わせないソフトウェア設計パラダイム。 この言葉の本質的な意味は、開発者が指定しなければならないのはアプリケーションの慣例に従わない点だけだ、ということである。例えば、モデルの中にSalesというクラスがあれば、データベース中の対応する表の名前はデフォルトでsalesである、という規約を定める
関心の分離 - Wikipedia
関心の分離（かんしんのぶんり、英語: separation of concerns、SoC）とは、ソフトウェア工学においては、プログラムを関心（責任・何をしたいのか）毎に分離された構成要素で構築することである。 プログラミングパラダイムは開発者が関心の分離を実践することを手助けするものもある。その為には、モジュール性とカプセル化の実装のしやすさが重要となる。 関心の分離は複雑で依存関係が入り乱れたシステムの理解・設計・運用を容易にすることが出来るので他の工学分野でもみられる。 歴史[編集] 「関心の分離」を意味する英語「separation of concerns」は、エドガー・W・ダイクストラが1974年に論文「On the role of scientific thought」（Dijkstra 1974: 科学思想の役割）で初めて使用したとされている。1989年にChris Read
アスペクト指向プログラミング - Wikipedia
アスペクト指向プログラミング（Aspect Oriented Programming、AOP）は、横断的関心（英語版）を実装する手法によって、プログラムのモジュール性を高めることを目的にしたプログラミングパラダイムである。横断的関心とは、関心の分離によるモジュールの複数以上にまたがっている共通機能を意味している。AOPはこの横断的関心を、既存コードに設けた間接点（joint point）を通しての振る舞い助言（advice）の追加によって、コード変更を伴なわずに実装できるようにしている。任意の間接点および振る舞い助言の定義をまとめたモジュールがアスペクト（英語版）と呼ばれ、これが横断的関心の表現体になる。例としては、全ての関数呼出しにログ出力を伴わせたい時に、全関数冒頭にjoint pointを設けてログ出力コードをadviceにしたアスペクトをプログラム内に定義することで、自動的に各関数
依存性の注入 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "依存性の注入" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年6月） 依存性の注入（いぞんせいのちゅうにゅう、英: Dependency injection）とは、あるオブジェクトや関数が、依存する他のオブジェクトや関数を受け取るデザインパターンである。英語の頭文字からDIと略される。DIは制御の反転の一種で、オブジェクトの作成と利用について関心の分離を行い、疎結合なプログラムを実現することを目的としている。 dependencyを「依存性」と訳すのは本来の意味[1] から外れているため「依存オブジェクト注入」の用語を採用する文
スペクトログラム - Wikipedia
バイオリンのスペクトログラム（縦軸は線形周波数、横軸は時間）。色の線（すなわち輝点の連続）が周波数成分の経時変化を表す。色の明度は対数的（黒は −120dBFS） スペクトログラム（英: Spectrogram）とは、複合信号を窓関数に通して、周波数スペクトルを計算した結果を指す。3次元のグラフ（時間、周波数、信号成分の強さ）で表される。 スペクトログラムは声紋の鑑定、動物の鳴き声の分析、音楽、ソナー/レーダー、音声処理などに使われている。スペクトログラムを声紋と呼ぶこともある。スペクトログラムを生成する機器をソノグラフ（sonograph）という。 形式[編集] 最も一般的な形式では、横軸が時間を表し、縦軸が周波数を表す。そして、各点の明るさや色である時点のある周波数での強度を表す。 形式には様々なバリエーションがある。横軸と縦軸を入れ替えて、時間が上下に流れる形式にすることもある。また
Maxima - Wikipedia
Maxima（マキシマ）は、LISP で記述された数式処理システムである。GNU GPL に基づくフリーソフトウェアであり、現在も[いつ?]活発に開発が続けられている。Maple や Mathematica などの商用の数式処理システムと比べても遜色のない機能を持っている。 略史[編集] Maxima の起源は、マサチューセッツ工科大学の MACプロジェクトによって開発され、米国エネルギー省（DOE）によって配布されていたDOE Macsyma の1982年のバージョンを GNU Common Lisp に移植したものである。 1982年から Macsyma の独自のバージョンを管理・維持していたビル・シェルター (en) が、1998年にエネルギー省から GPLライセンスを適用することを条件に公開の許可を得た。 こうして公開されたプログラムは 「Maxima」（マキシマ）と呼ばれるように
SageMath - Wikipedia
ウィリアム・スタイン（2011年6月） SageMath（セイジ、以前はSage、SAGEと記した）は数学の幅広い処理を扱うソフトウェアである。扱う処理は計算機代数、組み合わせ、数値計算など多岐に及ぶ。工学的応用に加え基礎科学の研究も対応している。 SageMathは2005年2月24日にフリーソフトウェアとしてGNU General Public Licenseの元で初版が公開された。その開発目的はMagma、Maple、Mathematica（いずれも計算機代数ソフトウェア）、MATLABの代替となるフリーかつオープンソースなソフトウェアを提供することであった[3]。開発は、米ワシントン大学の数学准教授のウィリアム・スタイン (William Stein) が主導して始まった。 SageMathはPythonプログラミング言語を使用しており、手続き型・関数型・オブジェクト指向によるプロ
位相偏移変調 - Wikipedia
位相偏移変調（いそうへんいへんちょう）もしくは位相シフトキーイング（英語: phase-shift keying, PSK）は、基準信号（搬送波）の位相を変調することによって、データを伝送する、デジタル変調方式である。 概要[編集] PSKでは、基本波の位相を不連続に変化させることにより、デジタルデータを表現する。例えば、４種の位相を用いて表現する時（QPSK）、一つの位相には２ビット（00、01、10、11）が割り当てられる。 位相に割り当てられる各々のビットパターンをシンボルと呼ぶ。 復調器は、変調において使用されたシンボルと位相の組み合わせに基づいて設計される。まず、受信信号の位相を明らかにし、次に、各位相が表現しているシンボルを基に、ビット列を組み立てることで元のデータを復元する。 受信信号と基準信号の位相差により、デジタルデータを表現する方式を、coherent phase-sh
シュガー社員 - Wikipedia
この記事の主題はウィキペディアにおける独立記事作成の目安を満たしていないおそれがあります。目安に適合することを証明するために、記事の主題についての信頼できる二次資料を求めています。なお、適合することが証明できない場合には、記事は統合されるか、リダイレクトに置き換えられるか、さもなくば削除される可能性があります。 出典検索?: "シュガー社員" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年10月） シュガー社員（シュガーしゃいん）とは、社会保険労務士の田北百樹子（たきた ゆきこ）が提唱する、主に若者を中心とした日本的な労働価値観に反感を覚える社会人としての自覚やモラルなどの欠ける者をさす言葉。 概要[編集] 日本社会以外における労働意識を持った社員も指す造語であり[1]、同業者の石川弘子は
FPGA - Wikipedia
Altera Stratix IV GX FPGA FPGA（英: field-programmable gate array）は、製造後に購入者や設計者が構成を設定できる集積回路であり、広義にはPLD（プログラマブルロジックデバイス）の一種である。現場でプログラム可能なゲートアレイであることから、このように呼ばれている。 概要[編集] FPGAの構成設定は一般にハードウェア記述言語 (HDL) を使って指定し、その点はASICに近い。FPGAはASICで実装できる任意の論理機能を実装できる。出荷後に機能を更新でき、設計面で部分的に再構成でき[1]、ASIC設計よりエンジニアリングコストが低い点などが多くの用途で利点となる[2]。 FPGAに含まれるプログラム可能な論理コンポーネントを「論理ブロック」などと呼び、それら論理ブロック間を相互接続する再構成可能な配線階層がある。この構成によって
Beowulf - Wikipedia
Beowulfは、コンピュータ・クラスターを構成する方式の名前で、LinuxやBSD系OSなどのフリーなPC-UNIXを載せたパーソナルコンピュータのクラスターによる高性能計算の実現法である。 "Beowulf"とはあくまで方式に付けられた名称である。Beowulfを構成するに当たってそれぞれ使うソフトウェアは異なり特に必要な要素となるソフトウエアの部品はない。 Beowulfの特徴[編集] フリーのUNIXのソースコードの改造により実現される。 一般的に販売されているPCを複数使って作られる。 ノードとなるコンピュータクラスターを構成する各コンピュータは、クラスターの処理のためにだけ使われる。 ノードは、クラスター専用に使われる高速のネットワークにより接続されている。 クラスターとして使われる目的は、あくまで高速な処理をするためで、クラスターとしての別の目的である処理などの信頼性のためで
Microsoftコードページ932 - Wikipedia
Template‐ノート:特殊文字に、このページに関する質問があります。（2023年1月） 質問の要約：Template:特殊文字で「Microsoftコードページ932（はしご高）」と書かれている場合があること この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2011年11月） 出典は脚注などを用いて記述と関連付けてください。（2011年11月） 出典検索?: "Microsoftコードページ932" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL MS932とその他の日本語に関連した文字集合との関係オイラー図 Microsoft コードページ 932（マイクロソフト コードページ 932
フィボナッチ数 - Wikipedia
一般項[編集] フィボナッチ数列の一般項は次の式で表される[3]： この式は1843年にビネ (Jacques Philippe Marie Binet) が発表したことからビネの公式と呼ばれるが、それ以前の1730年（ド・モアブル）・1765年（オイラー）にも発表されており、ビネは最初の発見者ではない。 なお、この式に現れる は黄金数で、いくつかの数学的特徴がある。黄金数を作る二次方程式 x2 − x − 1 = 0 の解を α, β (α > β) とすると、上記の一般項は と表せる。 また、一般項の第2項 の絶対値は減少列で、n = 0 のとき より、第2項を切り捨てた式は Fn の値を 0.447 以下（n > 4 のとき1%以下）の誤差で与える近似式である。 この誤差の絶対値は0.5未満なので、Fn の正確な整数値は以下の式で得られる[3]。 ただし、 は床関数である。 なお、後
神経言語プログラミング - Wikipedia
神経言語プログラミング（しんけいげんごプログラミング、神経言語学的プログラミングとも, Neuro-Linguistic Programming: NLP）は、ジョン・グリンダー（言語学者）とリチャード・バンドラーによって提唱された、コミュニケーション、能力開発、心理療法へのアプローチを目指す技法である。人間は客観的な現実を理解することはできないというポストモダン的な立場を取り、主観的経験の構造の研究によって記述された「メタ学問」である[1][2]。個人の主観性・主観的な経験に大きく焦点を当てた自己啓発の体系を持つ[1]。 信念を、能力・行為・環境の間、アイデンティティとスピリチュアリティの間にあると考え、信念を変えることで真の潜在能力を発揮できるようになることを目指す[1]。神経言語プログラミングという名称は、人間の行動は神経学的な過程から始まること、人間は考えをまとめたり他者と交流する
勝間和代 - Wikipedia
勝間 和代（かつま かずよ、（1968年12月14日 - ）は、日本の著述家、評論家。元・公認会計士[注釈 1]。学位はファイナンス修士（専門職）（早稲田大学）。ダボス会議（世界経済フォーラム）2009年度ヤング・グローバル・リーダーの一人[2][3]。株式会社監査と分析 取締役（共同パートナー）、中央大学大学ビジネススクール客員教授[4]。 経歴 東京都葛飾区生まれ。親は、テープレコーダーのヘッドケースをプレス加工で製造する町工場を経営していた。4人兄弟の末っ子である（11歳年上の姉、10歳年上の姉、8歳上の兄、勝間）。 葛飾区立住吉小学校[5]、慶應義塾中等部[6]、慶應義塾女子高等学校を経て、慶應義塾大学商学部を卒業。早稲田大学大学院ファイナンス研究科専門職学位課程を修了し、ファイナンス修士（専門職）の学位を取得。慶應義塾女子高等学校在学中に公認会計士試験の勉強を始め、一般に「公認会
網膜芽細胞腫 - Wikipedia
疫学[編集] 15,000人に1人の割合で発病する。地域による大きな差はない。 約10～30%は両眼性で常染色体優性遺伝、残りは片眼性で散発性である。 症状[編集] 以下の4期に分けられる。 第1期 黒内障性猫眼期 網膜内の腫瘍が硝子体内に隆起し、瞳孔が猫の目のように光るいわゆる白色瞳孔となる。その他気づきやすい症状としては以下のものがある。 斜視 視力障害 角膜混濁 結膜充血 散瞳 第2期 緑内障期 腫瘍の増殖に伴い眼圧が上昇し、続発性の緑内障となる。 第3期 展開期 水晶体だけでなく虹彩や前房にも腫瘍が進展し、さらに眼球壁を破って眼窩にも認められるようになる。 第4期 転移期 視神経や脈絡膜血管を介して脳、肝臓、肺など全身に転移して死亡する。 診断[編集] 眼底所見、CT、MRI、超音波診断などで確定診断される。 白色瞳孔を来たす他の疾患との鑑別診断が重要となる。 治療[編集]
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
