領域理論 - Wikipedia
領域理論 （りょういきりろん、英: domain theory）は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。 計算機科学の表示的意味論（英: denotational semantics）を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。 1960年代末にデイナ・スコットが領域についての研究を開始したそもそもの動機は、ラムダ計算の表示的意味論について研究するためであった。 ラムダ計算においては、この言語が定めている記法で記される「関数」について考察する。 このラムダ計算では純粋に文法的に、単なる関数から入力引数として別の関数をとるような関数を作ることが可能である。 このラムダ計算には、不動点コンビネータ（英: fixed point combin
補完と補間の違い！使い方を例文を交えて紹介
補完と補間の違い！使い方を例文を交えて紹介 記事公開日：2016年5月30日 最終更新日：2019年11月13日 「補完」と「補間」 同じ読み方なのに、似たような漢字なのに微妙に違う。 このように同じ読み方で違う意味を持つ言葉。 これを同音異義語と言いますが、 意味まで似ていると、 「どういう意味の違いがあるの？」 「どうやって使い分けたらいいの？」 と分からなくなってしまうことってありますよね。 例えば、 「彼は練習によって欠点をほかんしようとしている」 この文章に「補完」と「補間」どちらを使えばいいのか、パッとわかりましたでしょうか。 「100％の自信がもてない…」 という場合は今回の記事を読んでいただいて、意味、使い分けを100％ばっちり理解していただけたらなと思います。 それではさっそくみていきましょう！ まずは「補完」からです。
PowerShellの演算子一覧 - しばたテックブログ
PowerShell Advent Calendar 2015 3日目の記事です。 基本的にはabout_OperatorsやPowerShellの言語仕様書(PowerShell 2.0、PowerShell 3.0)を見ればわかる話なのですが、一覧で参照したかったのと、PowerShellには一見演算子に見えない特殊な演算子が結構ありその解説をしたくなったので本エントリを書きました。 一部の内容についてはWindows PowerShell in Actionを参考にしています。 字数の都合、詳細まで説明するのは難しいので、基本的な説明と個人的に気になる部分について解説を入れる形としています。 算術演算子 演算子 用例 内容 + 1 + 2 加算、プラス - 1 - 2 減算、マイナス * 1 * 2 乗算 / 10 / 2 除算 % 10 % 3 余剰 最初は算術演算子から。 +と-
文字列補間 - Wikipedia
プログラミングにおいて、文字列補間（もじれつほかん、string interpolation）とは、文字列リテラル内に埋め込まれたプレースホルダーを実行時に評価し、そのプレースホルダーを対応する値に置き換える処理である。変数補間 （へんすうほかん、variable interpolation）、変数置換（へんすうちかん、variable substitution）、変数展開（へんすうてんかい、variable expansion）ともいう。この処理は、単純なテンプレートエンジンであり[1]、正式な用語で言えば準引用（英語版）の一形態である。文字列補間は、文字列連結よりも簡単でより直観的に文字列のフォーマットを規定できる[2]。 文字列補間は、データの文字列表現を多用する多くのプログラミング言語（C言語、Perl、PHP、Python、Ruby、Groovy、Scala、Swiftなど、およ
日本語と英語のつながり(18)；"duce"は「導(dou)」
!ブログをbiglobeからここへ移行しました(2022年11月)。 旧URLから自動的に転送されています。(2024年1月まで)！ introduceのduceは、漢字で書けば「導」って感じです。音もなんとなく「導」と似てますよね。 introは「中へ」。漢字で書けば「入」。だからintroduceは「入導」で、ひっくり返せば「導入」。製品の市場導入や、しくみの導入のときに"introduce"、"introduction"を使います。「紹介する」とか「案内する」などという訳語も、「中に導く」ということですよね。 もともと、duceは用水を導いたりすることを表現した語根のようです。 そう考えると、reduce（減らす）のイメージができるし、duct（「流れを導くもの」→管、ダクト）にもつながります。 前に（pro)導けば、produce（生産する）、product（製品) 中に(in)導
エスケープ解析 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "エスケープ解析" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年1月） エスケープ解析（エスケープかいせき、英: Escape analysis）とは、コンパイラ最適化理論において、ポインタの動的なスコープを特定するための方法である。エスケープ解析は、ポインタ解析やシェープ解析と関連している。 サブルーチンにおいて変数やオブジェクトが割り当てられるとき、変数へのポインタが、別の実行スレッドや呼び出し元のルーチンに「エスケープ」してしまうことがある。サブルーチンがオブジェクトを割り当て、これに対するポインタを返却すると、オブジェク
Flow-sensitive typing - Wikipedia
In programming language theory, flow-sensitive typing (also called flow typing or occurrence typing) is a type system where the type of an expression depends on its position in the control flow. In statically typed languages, a type of an expression is determined by the types of the sub-expressions that compose it. However, in flow-sensitive typing, an expression's type may be updated to a more sp
シェープ解析 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "シェープ解析" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年1月） シェープ解析（シェープかいせき、英: Shape analysis）は、静的コード解析の技法のひとつであり、(通常は命令型の)コンピュータプログラムの中で相互にリンクしている動的に割り当てられたデータの特性を解析・検証する技術である。通常はコンパイル時にソフトウェアのバグを発見したり、プログラムの特性の高レベルな妥当性を検証するために用いられる。 シェープ解析は、例えば Java プログラムではソートするメソッドが正しくソートを行えることを保証するために用いた
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Peter Norvig
Design Patterns in Dynamic Languages
https://blogs.technet.microsoft.com/outlooksupportjp/2016/07/01/outlook-2016-%E3%81%AE%E9%96%B2%E8%A6%A7%E3%82%A6%E3%82%A3%E3%83%B3%E3%83%89%E3%82%A6%E3%81%AE%E8%A8%AD%E5%AE%9A%E3%81%8C%E4%BF%9D%E5%AD%98%E3%81%95%E3%82%8C%E3%82%8B%E5%A0%B4%E6%89%80%E3%81)
Shape analysis (program analysis) - Wikipedia