コロポックル - Wikipedia
この項目には、JIS X 0213:2004 で規定されている文字（カタカナのロとルは小さく表記する場合がある）が含まれています（詳細）。 コロポックルの木彫り人形 水木しげるロードに設置されている「コロポックル」のブロンズ像。 松浦武四郎作「蕗下コロポックル図」（市立函館博物館所蔵） コロポックル（アイヌ語: コㇿポックㇽ korpokkur[1]）は、アイヌの伝承に登場する小人である。アイヌ語で「蕗の下の人」という意味であると解される。 アイヌ語では [p] と [b] は同一の音素であり区別しないため、コロボックル（コㇿボックㇽ）とも言われる。 アイヌの小人伝説は広く北海道や南千島や樺太に流布しており、名称もこのコロポックル・コロボックルのほかに、トィチセウンクルやトィチセコッチャカムィやトンチ（これらはみな「竪穴に住む人」の意）などと呼ばれることもある。 またアイヌ人の民俗研究者で
鬼畜系 - Wikipedia
エロティシズム文化に詳しい伴田良輔は「悪趣味」の起源そのものは「キッチュ」「マニエリスム」「バロック」「グロテスク」といったヨーロッパ文化にあると指摘し、それが大量消費時代を迎えた1950年代以降のアメリカで「モンド」「スカム」「キャンプ」「ビザール」「ローファイ」「バッド・テイスト」に発展し、それが米国での流行の経緯とは無関係に日本で新しい意味や機能が付け加えられて蘇ったと解説している[7]。ただし、伴田の定義する「悪趣味」とは、ある範囲の事物に共通して見られる「けばけばしさ」「古臭さ」「安っぽさ」の類型的特徴を意味しており、最初から「悪趣味」とされるものを享楽的に消費する、あるいは露悪的なスタイルを積極的に志向するような「鬼畜系」は含まれていない。[要出典] 1995年の『ユリイカ』臨時増刊号「悪趣味大全」において、文学・音楽・漫画・映画などの芸術文化でも、ほとんど無視されてきたダーク
帰納プログラミング - Wikipedia
帰納プログラミング (Inductive Programming, IP) は人工知能とプログラミングの研究分野をまたぐ自動プログラミングの特殊分野である．通常，入出力例や制約などの不完全な仕様からの，宣言型（論理型または関数型）言語のプログラムの学習を扱う．学習されるプログラムはしばしば再帰的である． 使用するプログラミング言語によって，いくつかの種類の帰納プログラミングが存在する．LispやHaskellなどの関数型言語を用いる帰納関数プログラミング，そして特に，Prologのような論理型言語や記述論理（英語版）のようなその他の論理的表現を用いる帰納論理プログラミング（英語版）がこれまでよく知られていたが，制約プログラミングや確率プログラミングのようなその他のプログラミング言語も用いられている． 定義[編集] 帰納プログラミングは，不完全な形式的仕様からのプログラムやアルゴリズムの学習
暗号利用モード - Wikipedia
「IGE」はこの項目へ転送されています。In Ground Effectについては「地面効果」をご覧ください。 暗号利用モード（あんごうりようモード、Block cipher modes of operation）とは、ブロック暗号を利用して、ブロック長よりも長いメッセージを暗号化するメカニズムのことである。 ECBモード（単純なブロック暗号の利用法）では、ある鍵で同一の平文を暗号化すると、同一の暗号文になる。したがって、長いメッセージ（画像データなど）のある部分が他の部分と同じであるかどうかが、暗号文の比較によって判断できてしまうので、他のモードが必要となった。 暗号利用モードには、秘匿用の利用モードと、認証用の利用モードとがある。 秘匿用の利用モード[編集] 秘匿用として多くの暗号利用モードが定義されており、これらのうち、ECB, CBC, OFB, CFBの4つは、FIPS, ANS
科学的方法 - Wikipedia
「科学的方法」についての言及は、さまざまなものがある[注釈 1]。 2009年の『高等学校学習指導要領解説理科編』119頁には、「理科課題研究の目的」として、以下のような解説がなされている [7]。 「科学に関する課題を設定し」とあるのは，自然や科学技術に関して観察，実験などの探究的な活動を通じて習得した探究の方法を用いることにより解決できる課題を設定することを示している。 「観察，実験などを通して研究を行い」とあるのは，仮説の設定，実験の計画，実験による検証，実験データの分析・解釈，推論など探究の方法にしたがって研究を進めることを示している。 「科学的に探究する能力と態度を育てる」とあるのは，探究の方法を用いて研究を行う過程で，設定した課題を科学的に解決する方法を見いだす能力と態度を育成することを示している。 「創造性の基礎を培う」とあるのは，研究の実施や報告書の作成を通して，研究におい
Autotools - Wikipedia
Autoconf (autoconf) はconfigurationスクリプトを自動生成するツールである[4]。 ビルド環境の自動構築をおこなうconfigurationスクリプト (configure) はそれ自体が時に数千行に渡る巨大なスクリプトになる。これを手動で記述し維持することは時間の浪費でありバグの温床である。このconfigure生成を自動でおこなうツールがAutoconfである[4]。 Autoconfはconfigure.acを入力とし、configureを出力とする[5]。ユーザーがこのconfigureを実行することでビルド環境が構築される。 特徴[編集] autoconfはDavid Mackenzieがフリーソフトウェア財団での仕事で使うために、1991年の夏から開発を開始した。その後、様々な人に改良を加えられ、オープンソースのコミュニティでは最もよく使われるツー
ENIAC - Wikipedia
プログラミングされるENIAC 2人のプログラマがENIACの制御パネルを操作しているところ ENIAC（エニアック、Electronic Numerical Integrator and Computer[1]）[2][3]は、アメリカで開発された黎明期の電子計算機。 電子式でデジタル式だがプログラム内蔵方式とするにはプログラムのためのメモリはごくわずかで、パッチパネルによるプログラミングは煩雑ではあったものの、必ずしも専用計算機ではなく広範囲の計算問題を解くことができた[4]。しかし、任意の計算可能な問題について計算できるという能力が当初の時点で基本的にはあったわけではなく（後述）、アナログ機械式計算機の一種類である微分解析機と同様に、微分方程式で表すことができるような多くの種類の問題について積分法によって数値的な解を得る（ただしこちらは数値的（ディジタル）に）、という機械である。後の
形式手法 - Wikipedia
Z言語を使った形式仕様記述の例 形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である[1]。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている[2]。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う[3]。 分類[編集] 形式手法はいくつかの水準で使用可能である: 水準0 形式仕様記述を行い、プログラム自体を非形式主義的に行う。「軽い形式手法」と呼ぶ。費用対効果が早く得るこ
)
リファクタリング (プログラミング) - Wikipedia
この記事には独自研究が含まれているおそれがあります。 問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2020年10月） この記事で示されている出典について、該当する記述が具体的にその文献の何ページあるいはどの章節にあるのか、特定が求められています。 ご存知の方は加筆をお願いします。（2014年4月） リファクタリング (refactoring) とは、コンピュータプログラミングにおいて、プログラムの外部から見た動作を変えずにソースコードの内部構造を整理することである。また、いくつかのリファクタリング手法の総称としても使われる。ただし、十分に確立された技術とはいえず、また「リファクタリング」という言葉に厳密な定義があるわけではない。 リファクタリングが登場する以前は、一度正常な動作をしたプログラムは二度と手を触れるべきではないと言われていた。な
UNIX哲学 - Wikipedia
この項目「UNIX哲学」は途中まで翻訳されたものです。（原文：en:Unix_philosophy （本文に英文が移されています）） 翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れなく。（2020年6月） UNIX哲学（ユニックスてつがく、英: The UNIX Philosophy）とは、ソフトウェア開発の文化的な規範と哲学のまとまりであり、UNIX OS開発者たちの経験に基づくものとされている。その内容は発言者によって異なり、以下の点に留意が必要である： UNIXが開発された1971年から10年以上後の発言が大半である 発言者にはUNIX開発と関わり合いが希薄な人物も含まれている UNIXを生み出したケン・トンプソンやデニス・リッチーは"哲学"(philosophy)という表現をしていない 哲学に反し
)
Oz (プログラミング言語) - Wikipedia
1991年、Gert Smolka が学生らと共に設計したのが最初である。1996年、Oz の開発はスウェーデン計算機科学研究所の Seif Haridi の研究グループの協力で続けられた。1999年以降、Oz の開発は Mozart Consortium という国際的グループによって続けられている。Mozart Consotium には、ザールラント大学とスウェーデン計算機科学研究所のほかに、ルーヴァン・カトリック大学も当初から参加している。2005年、Oz 処理系である Mozartプログラミングシステム の開発を管理する Mozart Board が設けられ、Mozart の開発をより大きなコミュニティで行う用意が整った。
宣言型プログラミング - Wikipedia
宣言型プログラミング（英: Declarative programming）は、数理論理学的な性質を表わしている総称的なプログラミングパラダイムである。式の計算構造を、主に表示的意味論下のロジックで表現する構文にされることが多く、式枠外の副作用を伴なう制御フローや自由変数の多用などは排除されるようになる[1]。計算構造は演繹的に組み立てられることが多い。命令型プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている。[注釈 1]} 宣言型言語は、what the program must accomplish（何をなすべきか）方針で、副作用を排除した式や純粋関数の実装に努める[2]。これは命令型言語の、how to accomplish it（どうなすべきか）方針で、副作用を前提にした操作的意味論下のアルゴリズム実装とよく対比される[3]。 宣言的パラダイムは、関数型、
史料批判 - Wikipedia
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2022年8月） 史料批判（しりょうひはん、ドイツ語: Quellenkritik）とは、歴史学を研究する上で史料を用いる際、様々な面からその正当性、妥当性を検討することである。19世紀ドイツの歴史家レオポルト・フォン・ランケ[注釈 1]の提唱による歴史学研究法を指す。その著『近世歴史家批判』[注釈 2]は史料批判をとおして近代歴史学の基礎を確立した画期的な著作だとされている。 日本で「史料批判」の訳語を用いた早い例としては、原勝郎が1898年（明治31年）の「吾妻鏡の性質及其史料としての價値」において「史料の批評に二樣の別あり」とその訳語を用いている。 さらに20世紀に入って1935年に、西洋史学者今井登志喜が『歴史学研究法』を著し「史料批判」を詳細に紹介
分離公理 - Wikipedia
いくつかの分離公理の図示。青い領域は開集合を、赤い四角は閉集合を、黒い点は空間の点を意味する。 数学の位相空間論周辺分野において、考えたい種類の位相空間を割り出すための様々な制約条件が知られている。そういった制約のうちのいくつかが分離公理（ぶんりこうり、英: separation axioms）と呼ばれる条件によって与えられる。アンドレイ・チホノフ（英語版）に因んで、チホノフの分離公理とも呼ばれる。 分離公理が「公理」であるのは、位相空間に関する概念を定義するときに、これらの条件を余分な公理として追加して、位相空間がどのようなものかによってより制限された概念を得るという意味においてのみである。現代的なアプローチでは、きっぱりと位相空間を公理化（英語版）してしまってから位相空間の「種類」について述べるという形になっているが、「分離公理」の語が定着している。いくつかの分離公理に "T" が付く
ホーア論理 - Wikipedia
この記事の正確性に疑問が呈されています。問題箇所に信頼できる情報源を示して、記事の改善にご協力ください。議論はノートを参照してください。（2016年4月） 疑問点：トリプルの定義からすでに通常の定義と異なっている。例もおかしい ホーア論理（ホーアろんり、英: Hoare logic）とは、公理的意味論の立場でプログラムの正当性について厳密に推論するために第一階述語論理を拡張した形式論理の言語を言う。 プログラムの正しさを証明するためのロバート・フロイドによる流れ図に関する方法[1]を基に、計算機科学者のアントニー・ホーアによって提案された[2]。 概要[編集] ホーア論理には、単純な命令型言語の全構成要素についての公理と推論規則が備わっている。当初の論文にあったそれら規則に加えて、ホーアや他の研究者は様々な言語要素に関する規則を開発した。並行性に関する規則、プロシージャに関する規則、分岐に
グラウンデッド・セオリー - Wikipedia
Grounded Theory(GT)とは、社会学者のバーニー・グレイザーとアンセルム・ストラウスによって提唱された、質的な社会調査の一つの手法で、アメリカの看護学において定着した。グラウンデッド・セオリー・アプローチ (Grounded Theory Approach ; GTA) とも言われる。 解説[編集] 彼らは、分析の最終目的として、社会現象を説明するための実証分析で役立つような、明確な理論を作ることを、とくに重視した。定性的研究の多くは、データを取った後は各自が自分で考え、印象批評をするのみで、取った後のデータの処理方法や、具体的な分析手法はない。単に結果を記述することのみを重視するものも多い。しかしこの手法は、データを文章化した後の、分析法を提示しようと試みている点に特徴がある。 この手法の特徴は、患者へのインタビューや観察などを行い、得られた結果をまず文章化し、特徴的な単語
フォーカスグループ - Wikipedia
フォーカスグループ（英: Focus group）とは、定性的研究の一種であり、ある製品/サービス/コンセプト/宣伝/アイデア/パッケージについて人間の集団に考えを質問する手法としてマーケティングリサーチで使われる。グループ対話形式で自由に発言してもらう。 概要[編集] フォーカスグループはマーケティングの重要なツールであり、新製品について素早くフィードバックを集めたり、様々な話題について情報を収集するのに使われる。特に発売前の新製品について市場の反応を予測するのに使われる。 社会科学や都市計画では、1対1のインタビューよりもフォーカスグループの方がより自然な意見を収集できるという利点がある。参与観察と組合わせて、調査場所を選択することで様々な文化的・社会的集団へのアクセスを可能とし、思わぬ問題提起をもたらすことがある。フォーカスグループの考え方は単純で理解しやすいので、その結果も役立てや
定性的研究 - Wikipedia
定性的研究（ていせいてきけんきゅう、英: qualitative research、質的調査）は、対象の質的な側面に注目した研究。そこで扱われるデータは定性データと呼ばれる。対象の量的な側面に注目した定量的研究と対を成す概念である。 定性的研究とは、インタビューや観察結果、文書や映像、歴史的記録などの質的データ（定性的データ）を得るために、社会学や社会心理学、文化人類学などで用いられる方法である。狭義の調査だけでなく、実験や観察、インタビューやエスノメソドロジー、文書や映像の内容分析、会話分析、住み込んでの参与観察、各種のフィールドワークなど、多様な手法を用いた調査方法を指す概念である。社会調査の一種として考えた場合、社会からデータをとるための一つの方法であるが、その意味で多義的であり、社会調査のみではなく純粋な観察なども含む。観察は必ずしも質問をする必要はなく、言葉の通じない幼児などに対
瞑想 - Wikipedia
「冥想」はこの項目へ転送されています。 細川俊夫の管弦楽作品については「冥想 (細川俊夫)」をご覧ください。 尾崎亜美の楽曲については「冥想 (尾崎亜美の曲)」をご覧ください。 瞑想、冥想（めいそう、英: meditation、英: contemplation）とは、心を静めて無心になること、何も考えずリラックスすること、心を静めて神に祈ったり、何かに心を集中させること、目を閉じて深く静かに思いをめぐらすことなどとされている。 各々の宗教の伝統や修行の段階、目的等により内容は様々である。本来は冥想と書くと思われる[1]。この呼称は、単に心身の静寂を取り戻すために行うような比較的日常的なものから、絶対者（神）をありありと体感したり、究極の智慧を得るようなものまで、広い範囲に用いられる。現代では、健康の向上や心理的治療、自己成長、自己向上などの世俗的な目的をもって、様々な瞑想が行われている[2
ビピリジン - Wikipedia
ビピリジン（bipyridine）とは、ピリジン2分子が炭素-炭素単結合で直接つながった分子構造をした、有機化合物の総称である。1種類の化合物ではなく、6種類の構造異性体が存在する。なお、ビピリジンの構造は、ビフェニルの2つの芳香環を構成する炭素原子のうち、2つの芳香環をつないでいない炭素のうちの1つずつが窒素に置換された化合物と説明することもできる。導入された窒素原子が持つ孤立電子対は、sp2混成軌道に格納することによって、ビピリジンの環状部分も芳香族性が保たれる。なお、ビピリジンの孤立電子対は通常、sp2混成軌道に格納されるため、ピリジンと同様に、この孤立電子対は塩基性を保っている。 ビピリジンの化学式はC10N2H8であり、分子量は156.18。無極性溶媒によく溶け、水に微量溶ける。異性体の中でも、2,2'-体と4,4'-体が化学的に重要である。ビピリジル、ジピリジン、ジピリジルとも
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
