テクノロジー : 日経電子版12月9日の米ハワイ州ホノルル市で、46回目となるJALホノルルマラソンが開催された。そのスタート地点に、4万2914番のゼッケンを着けたNTTドコモの吉沢和弘社長の姿があった。N…続き 「共通ポイント」獲得しやすく 併用対応の店舗増加 ポイント、投資の入り口に Ｔポイントで新証券会社 ［有料会員限定］
第五世代コンピュータ - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2023年9月） 第五世代コンピュータ（だいごせだいコンピュータ）計画とは、1982年から1992年にかけて日本の通商産業省（現経済産業省）所管の新世代コンピュータ技術開発機構（ICOT）が進めた国家プロジェクトで、いわゆる人工知能コンピュータの開発を目的に総額540億円の国家予算が投入された。 第五世代とはICOTが定義した電子計算機の分類に由来し、第一世代（真空管）、第二世代（トランジスタ）、第三世代（集積回路）、第四世代（大規模集積回路）に続く、人工知能対応の次世代技術を意味した。プロジェクトの三本柱は、非ノイマン型計算ハードウェア、知識情報処理ソフトウェア、並行論理プログラミング言語とされた。 当プロジェクトの評価には賛否両
Constraint Handling Rules - Wikipedia
Constraint Handling Rules（CHR）は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である[1] [2]。 多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが[3]、 独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。 CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステム、自然言語処理、スケジューリング、型システム、ソフトウェアのテストと診断、セマンティックウェブなどである。 概要[編集] Constraint Handling Rules（CHR）はコミッテッドチョイス（co
状態遷移系 - Wikipedia
状態遷移系（じょうたいせんいけい、State Transition System）とは、理論計算機科学での計算の研究に使用される抽象機械の一種。状態遷移系は状態群と状態間の遷移から構成される。 状態と遷移が有限個の状態遷移系は有向グラフで表すことができる。 また、状態遷移系は「ラベル付き」と「ラベル無し」の2種類に分類することができる。 形式的定義[編集] ラベル無し状態遷移系は形式的にはタプル (S, →) で表され、S は状態の集合、→ は → ⊆ S × S という S 上の二項関係（つまり遷移）である。p,q ∈ S で (p,q) ∈ → であるとき、これを p → q と記述する。これはすなわち、状態 p から状態 q への遷移が存在することを意味する。 ラベル付き状態遷移系はタプル（S, Λ, →) で表され、S は状態の集合、Λ はラベルの集合、→ ⊆ S × Λ × S
プログラム意味論 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2023年8月） プログラム意味論（プログラムいみろん、英: program semantics）とは、計算機科学（特に理論計算機科学と分類されることもある）の一分野で、プログラミング言語の意味と計算モデルに関する分野である。形式的なものは、プログラミング言語の形式意味論とも呼ばれる。標準規格等では形式的でなく意味論を与えているものも多い。 形式的意味論[編集] 形式化にはいくつかの手法があり、以下の 3 種類に大別される: 表示的意味論: 対象とする言語の語句それぞれを「表示」に変換する。表示的意味論はコンパイルと対応すると考えることもできるが、意味論の議論ではその目的（形式化したい、という場合が多い）から、数学的な形式化された「
圏論 - Wikipedia
圏論（けんろん、英: category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。サミュエル・アイレンベルグ と ソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。 概要[編集] 圏の研究は、関連する様々なクラスの数学的構造に共通する性質を見出そうとする試みだといえる。
形式言語 - Wikipedia
形式言語（けいしきげんご、英: formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが残されたり、話者集団によって用法のうつろいゆくような自然言語に対して、プログラミング言語を含む一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などの形式言語は、用法の変化に関しては厳格である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。 定義[編集] 形式言語の理論、特にオートマトン理論と関連したそれにおいては、言語はアルファベットの列（語 word） の集合である[1]。 ただし、長さゼロの空単語（Empty Word, 記号 、、）も含む。 チューリングマシンの言語は単
統語論 - Wikipedia
統語論（とうごろん、英: syntax）とは、ヒト・人間の言語（いわゆる自然言語）において文が構成（combine）される仕組み[1]、または、それ以外の形式言語なども含む言語学の対象である言語一般において文が構成される仕組み、及びそれを扱う言語学の一分野[1]である。統辞論（とうじろん）、構文論（こうぶんろん）ともいう。 統語論は文法［音韻論（音の仕組み）、形態論（語が構成される仕組み）などを含む、言語の構造を成り立たせている諸原理］ の一部である[1]。ただし、特に統語論のことを指して「文法」ということもある[1]。 生成文法[編集] "Colorless green ideas sleep furiously." の構文木。詳細にはXバー理論によるそれ。
表象 - Wikipedia
表象（ひょうしょう、英: Representation、仏: Représentation）は、一般には、知覚したイメージを記憶に保ち、再び心のうちに表れた作用をいう（イメージそのものを含めて呼ぶこともある）が、元来は「なにか（に代わって）他のことを指す」という意味である[1]。類義語に、記号、イメージ、シンボル（象徴）[2]がある。 語義[ソースを編集] 翻訳語としての表象[ソースを編集] 「表象」は翻訳語であり、その原語は希:phantasia、羅: idea, perceptio, repraesentatio、英: idea, perception, representation、仏: idée, perception, représentation、独: Vorstellungなど様々であるが、近年は英語・フランス語などでのrepresentation、またドイツ語の Vorst
表現 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "表現" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2012年1月）
Bitbucket now rocks Git - Bitbucket
You’ve been asking for it, we’ve even joked about it – now it’s here (for real): for the one year anniversary of Bitbucket joining Atlassian, we are happy to announce Git support. All your source, all in one-place Whether you are using Hg or Git, you can now keep all of your code in one place with your preferred DVCS format. If you have existing code you would like to migrate, you can easily impor
Twitterはお客様からの小さな声を届けてくれる--タワーレコード
東京の渋谷、新宿など、全国に89店舗のCDショップを展開するタワーレコード。ソーシャルメディアの黎明期からmixiをはじめTwitter、Facebook、YouTubeなどの各種メディアをプロモーションとマーケティング活動に積極的に活用している。同社のSNSとの関わりや取り組み方法などを、CRM推進室ソーシャル・マーケティング担当部長の宮崎清志氏に伺った。 夏フェスの情報発信ツールとしてSNSの利用をスタート --御社でSNSを企業プロモーションに活用し始めた時期と当初の目的を聞かせてください。 2008年の夏からソーシャルメディアの運用を少しずつ始めました。弊社では毎年夏フェス会場で商品の販売や会員登録キャンペーンをしているのですが、その中で音楽ファンの方々に向けてもう一歩踏み込んだブランドコミュニケーションができないかと思っていました。何ができるかと考え、まずはソーシャルメディアで何
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
YouTube
三枚の写真 ／ 石川ひとみ
岩崎宏美「すみれ色の涙」
YouTube
2ちゃんねる、警察が削除要請の違法情報97%放置 - 日本経済新聞