字下げスタイル - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2018年5月） 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2018年5月） 独自研究が含まれているおそれがあります。（2018年5月） 出典検索?: "字下げスタイル" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 字下げスタイル（じさげスタイル）またはインデントスタイル（英: indent style）とは、プログラミングにおいてプログラムの構造を明らかにするために、コードのブロックの字下げをどうするかを決めたものである。本項ではC言語やそれに類似した言語を主に扱うが、他のプログラミング言語（特に括弧を使用して
Standard Triangulated Language - Wikipedia
プレーンテキストで記述されたASCII STL形式と、バイナリSTL形式がある。どちらのファイル形式でも、三角形の法線ベクトル（長さ１の単位ベクトル）と、面の表裏を示すために右手系に従って並んだ三角形の座標データを三角形の数だけ含む。このような冗長性のため、面の表裏は法線ベクトルと各点座標の記述順序（右手系）のどちらでも判別できる。 ASCII形式は人間が見た時の可読性が高いが、バイナリ形式と比較してファイルサイズが大きくなり、さらにファイル読み書き時の処理に時間がかかる。 書式は非常に単純である。 すべての行は以下の形式を満たす。: キーワード [半角1文字スペース] データ 最初の行は以下の文で始まる。: solid name nameはオプションだが、省いた場合にも必ず半角スペースが必要である。 このあとに三角形データが続く。: facet normal ni nj nk oute
PowerShell - Wikipedia
「◎」標準搭載、「○」インストールして利用可能、「→」上位バージョン標準搭載、「×」利用不可 PowerShell Core[編集] PowerShell Core 6.0[編集] 2016年8月、オープンソース化、Linux/OS Xへの移植を発表[7]。 2018年1月、PowerShell Core 6.0リリース[13][11]。ランタイムとして.NET Frameworkに代わり.NET Core 2.0を使用する。これによりPowerShell Core6はWindows、macOS、Linuxで動作が可能になった[14]。 PowerShell Core 6.1[編集] 2018年9月、PowerShell Core 6.1リリース[15]。 Windows 10およびWindows Server 2019との互換性強化、サポートプラットフォームの強化[15]が図られている。
)
モヒカン族 (ネット用語) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "モヒカン族" ネット用語 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2011年9月) モヒカン族（モヒカンぞく）は、インターネット上の議論における論客の一類型を表すインターネットスラング[1]。 モヒカン族についての観察と考察は主にはてなグループ上のmohicanグループで展開され[2]、自由国民社『現代用語の基礎知識2006』の「はてなダイアリーキーワード100」にも選ばれた。 モヒカン族の類型は、インターネットあるいは他のコンピュータネットワークの古い利用者の文化に似る。はてなグループ mohicanにおけるモヒカン族宣言など
コリジョンコース現象 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "コリジョンコース現象" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年1月) コリジョンコース現象（コリジョンコースげんしょう）とは、そのまま進み続ければ衝突するであろう一点に向かって等速直線運動をしている2つの車両や航空機同士が、視界が良好な場合であってもお互いを早期に視認することが著しく困難であるという現象をいう[1][2][3][4]。見通しの良い平原の真ん中の交差点等で発生し、実際に衝突してしまった場合には運転者・操縦者の著しい過失によるものと思われることもあるが、人間の視覚能力の特性に起因した現象であることに留意す
ゼロの焦点 - Wikipedia
事件の背景に、連合国軍占領下の日本で、アメリカ軍将兵[注釈 2]相手に売春行為をしていた女性[注釈 3]らの存在がある。彼女らが自身の忌まわしい過去を隠そうとする必死の感情が、作品内で重要な意味を持つ。原作が書かれた当時は現在よりも女性の社会的地位が低かった。そのため、過去にわずかでも汚点があれば偏見にさらされて就職に差し障るだけでなく、婚約破棄や一方的な離婚を余儀なくされるケースが少なくなかった時代である。 小説の時代設定は日本の降伏から13年後（＝1958年）とされている。女性が相手のことをよく知らぬまま見合い結婚することが、当時はありふれていた。本作発表当時の恋愛結婚の割合は4割に満たず、見合い結婚との構成比が逆転するのは、1960年代半ばを過ぎてからのことである[2]。 本作品の構想に関しては、当時上石神井[注釈 4]に在住の著者が、作品執筆の合間に近所の食堂へ出かけた際、立川の米
Wikipedia:削除された悪ふざけとナンセンス/Wikipedia:Wikiって略すな - Wikipedia
ウィキペたんからビンタを喰らいたくなければ、今すぐウィキペディアをWikiと略すことを止めましょう。･･･もっとも、彼女にぶたれるのがお望みなら別ですが。 ウィキペディア（Wikipedia）を最初の4文字をとってウィキ（Wiki）と略すことは止めましょう。 Wiki（うぃき）とは、Web上の文章をWebブラウザを用いて書き換えることができるシステムや、そのようなウェブサイトのことを指します。つまり、ウィキペディアだけがWikiではありません。ウィキとカタカナで表記することも同様にいけません。いくらウィキペディアがWikiを使用した有名なウェブサイトであっても、ウィキペディアのことをWikiと略してしまうと、他のWikiを使用したウェブサイトはどうなりますか?某匿名掲示板[注 1]で祭り[注 2]が発生したときに、あるいはゲームの攻略まとめサイトを作ろうというときに、しばしば外部のWiki
Markdown - Wikipedia
Markdown（マークダウン）とは、文書を記述する軽量マークアップ言語である。プレーンテキスト形式で手軽に書いた文書からHTMLを生成するために開発されたが、PowerPoint形式やLaTeX形式のファイルへ変換するソフトウェア（コンバータ）も開発されている。各コンバータの開発者によって拡張が施された各種の方言が存在する。 「書きやすくて読みやすいプレーンテキストとして記述した文書を、妥当なXHTML（もしくはHTML）文書へと変換できるフォーマット」として、ジョン・グルーバー（英語版）により作成された。アーロン・スワーツも大きな貢献をしている[4]。Markdownの記法の多くは、電子メールにおいてプレーンテキストを装飾する際の慣習から着想を得ている。 Markdownはグルーバーによって書かれたMarkdown.plというPerlプログラムを指すこともある。このスクリプトは、Mar
技術的特異点 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2019年10月） 一次資料や記事主題の関係者による情報源に頼って書かれています。（2023年5月） 信頼性に問題があるかもしれない資料に基づいており、精度に欠けるかもしれません。（2023年5月） 独自研究が含まれているおそれがあります。（2023年5月） 出典検索?: "技術的特異点" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 技術的特異点（ぎじゅつてきとくいてん、英語: technological singularity〈テクノロジカル・シンギュラリティ〉）またはシンギュラリティ (singularity) とは、科学技術が急速に「
ホーア論理 - Wikipedia
この記事の正確性に疑問が呈されています。問題箇所に信頼できる情報源を示して、記事の改善にご協力ください。議論はノートを参照してください。（2016年4月） 疑問点：トリプルの定義からすでに通常の定義と異なっている。例もおかしい ホーア論理（ホーアろんり、英: Hoare logic）とは、公理的意味論の立場でプログラムの正当性について厳密に推論するために第一階述語論理を拡張した形式論理の言語を言う。 プログラムの正しさを証明するためのロバート・フロイドによる流れ図に関する方法[1]を基に、計算機科学者のアントニー・ホーアによって提案された[2]。 概要[編集] ホーア論理には、単純な命令型言語の全構成要素についての公理と推論規則が備わっている。当初の論文にあったそれら規則に加えて、ホーアや他の研究者は様々な言語要素に関する規則を開発した。並行性に関する規則、プロシージャに関する規則、分岐に
2-3 フィンガーツリー - Wikipedia
2-3フィンガーツリー(2-3 finger tree、または単にfinger tree)とは、列を表す永続データ構造の一種であり、償却定数時間で両端への追加・削除が可能であり、対数時間で連結・分割・挿入が可能である。また、分割演算を変更すると優先度付きキューや探索木などを実装できる。2006年にRalf HinzeとRoss Patersonが発表した[1][2]。 関数型プログラミング言語などで使われる。Haskellでは、containersパッケージ[3]に列に特化した実装のData.Sequence[4]が含まれ、列に限定しない汎用の実装もfingertreeパッケージ[5]として存在する。Scalaでは標準ライブラリには含まれていないが、scalaz[6]などのライブラリなどで実装されている。その他、様々なプログラミング言語で実装されている。 2-3フィンガーツリーは分岐数が2
準同型 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "準同型" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年10月) 代数学において、二つの代数系が準同型（じゅんどうけい、homomorphic）であるとは、それらの間に数学的構造を保つ写像である準同型写像（じゅんどうけいしゃぞう、homomorphism) があることを意味する。 構造がまったく同じであることを表すときは、代わりに同型（どうけい、isomorphic）および同型写像（どうけいしゃぞう、isomorphism）という術語を用いる。 構造により、等長・等距、同相や射型などといった特定の術語が用いられることがある。
設定より規約 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "設定より規約" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2019年9月) 設定より規約（せっていよりきやく、英: convention over configuration; CoC）とは、開発者の決定すべきことを減少させ、単純にするが柔軟性は失わせないソフトウェア設計パラダイム。 この言葉の本質的な意味は、開発者が指定しなければならないのはアプリケーションの慣例に従わない点だけだ、ということである。例えば、モデルの中にSalesというクラスがあれば、データベース中の対応する表の名前はデフォルトでsalesである、という規約を定
コルモゴロフ複雑性 - Wikipedia
コルモゴロフ複雑性（コルモゴロフふくざつせい、英語: Kolmogorov complexity）とは、計算機科学において有限長のデータ列の複雑さを表す指標のひとつで、出力結果がそのデータに一致するプログラムの長さの最小値として定義される。コルモゴロフ複雑度、コルモゴロフ＝チャイティン複雑性 (Kolmogorov-Chaitin complexity) とも呼ばれる。 この画像はフラクタル図形であるマンデルブロ集合の一部である。このJPEGファイルのサイズは17KB以上（約140,000ビット）ある。ところが、これと同じファイルは140,000ビットよりも遥かに小さいコンピュータ・プログラムによって作成することが出来る。従って、このJPEGファイルのコルモゴロフ複雑性は140,000よりも遥かに小さい。 コルモゴロフ複雑性の概念は一見すると単純なものであるが、チューリングの停止問題やゲー
模倣宝石 - Wikipedia
模倣宝石（もほうほうせき）とは、天然の宝石や貴石をまねて製造された素材のことである。合成宝石（人工宝石）、人造宝石、模造宝石に大別される。天然の宝石や貴石に比べて価格が安い[1]。 synthetic(artificial), Lab-Createdとも表記され、科学的に合成された宝石である。天然宝石と同じ物質であるため物理的特質は同じである。宝飾品として以外に工業目的で利用されている。宝飾品としては諸外国でそれなりの評価がされる。合成ダイヤモンドを例に挙げると、アメリカ合衆国では1000軒以上の宝石店が取り扱っており、デ・ビアスが専門ブランド「ライトボックス」を2018年に立ち上げた。日本でも、合成であることを明示して独自ブランドを含めて取り扱う宝石業者や愛用する消費者が登場している[1]。京セラはクレサンベールを展開している。 合成コランダム（ルビー、サファイア） 主に溶融法（ベルヌー
不動点コンビネータ - Wikipedia
「Yコンビネータ」は不動点演算子について説明しているこの項目へ転送されています。カリフォルニア州の企業については「Yコンビネータ (企業)」をご覧ください。 不動点コンビネータ（ふどうてんコンビネータ、英: fixed point combinator、不動点結合子、ふどうてんけつごうし）とは、与えられた関数の不動点（のひとつ）を求める高階関数である。不動点演算子（ふどうてんえんざんし、英: fixed-point operator）、パラドキシカル結合子（英: paradoxical combinator）などとも呼ばれる。ここで関数 の不動点とは、 を満たすような のことをいう。 すなわち高階関数 が不動点コンビネータであるとは、 任意の関数 に対し、 とすると, が成立する 事を指す。 あるいは全く同じことだが、不動点コンビネータの定義は、任意の関数 に対し、 が成立する事であるとも
不動点 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "不動点" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年10月） 不動点を三つ持つ関数 数学において写像の不動点（ふどうてん）あるいは固定点（こていてん、英語: fixed point, fixpoint）とは、その写像によって自分自身に写される点のことである。 定義[編集] x が写像 f の不動点であるとは、f(x) = x が成り立つときに言い、かつそのときに限る。たとえば f が実数全体で によって定義される函数ならば、f(2) = 2 であるから、2 はこの函数 f の不動点である。 どんな写像でも不動点を持つわけでは
二重指数関数型数値積分公式 - Wikipedia
^ Yamanaka, Naoya; Okayama, Tomoaki; Oishi, Shin’ichi (2016). “Verified error bounds for the real gamma function using double exponential formula over semi-infinite interval”. Mathematical Aspects of Computer and Information Sciences: 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers 6 (Springer International Publishing): 224-228. doi:10.1007/
ネコ - Wikipedia
モモの木に登り爪をとぐネコ。 ネコの授乳 ネコ（猫）は、狭義には食肉目ネコ科ネコ属に分類されるリビアヤマネコ（ヨーロッパヤマネコ）が家畜化されたイエネコ（家猫、Felis silvestris catus）に対する通称である。イヌ（犬）と並ぶ代表的なペットとして、世界中で飼われている。広義的には、ヤマネコやネコ科動物全般を指すこともある（後述）。 猫は鋭い視覚、敏感な聴覚、優れた嗅覚を持ち、体が非常に柔軟であるため狭い場所に入ることも高い場所に登ることも容易にできる。独立心が強く、縄張り意識が高いのも特徴で、狩猟本能が強いため、しばしば遊びながらその本能を発揮する。自分の領域を守るためのマーキング行動や、鳴き声、体の動きを使ったコミュニケーションも行う。肉食である猫は、栄養バランスの取れた食事を必要とし、人間による世話にも一定の注意を要する。定期的な健康診断、ワクチン接種、そして適切なグル
SKK - Wikipedia
1987年（昭和62年）に、東北大学教授（当時）佐藤雅彦によって開発された[3]。本家での開発終了が2000年（平成12年）11月頃に宣言され[3]、その後は Openlab を拠点とした開発が行われてきた。 2014年（平成26年）12月21日に開発プラットフォームを GitHub へ切り替える宣言が行われ、辞書ファイルや辞書ツールについても順次 GitHub へ切り替わっている。 SKK Openlab 及び skk-dev がリリースする SKK には、Daredevil SKK(ddskk)の名が付けられている。 SKKが他の日本語インプットメソッドと大きく異なるのは、かな漢字変換において形態素解析に基づいた変換を行わないことである。かなと漢字の境界をユーザが指定することになるため、形態素解析では不可避の解析ミス[† 1]に起因する変換ミスを排除できる[4]。話し言葉や方言を記述す
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
