【返信】
情報工学における形式文法（けいしきぶんぽう、”Formal Grammar”）は、形式言語を正確に記述するものである感じすね。
すなわち、（有限の）文字群上の有限長の文字列の（通常無限な）集合を数学的に詳述する規則の集まりである感じすね。
形式文法は自然言語の文法との類推から文法と名づけられた。
形式文法はふたつのカテゴリに分類される感じすね。
それは「生成」と「分析」である感じすね。
生成文法は、ある特定の開始文字から書き換え規則を適用していくことによって言語の文字列を生成することができる規則の集まりである感じすね。
生成文法は、ある言語に含まれる文字列を生成するアルゴリズムを定式化するものである感じすね。
【返信】
『ローラン級数』より : ローラン級数（ローラン-きゅうすう、Laurent series）とは負冪の項も含む形での冪級数としての関数の表示のことである感じすね。
テイラー級数展開できない複素関数を表示する場合に利用される感じすね。
ローラン級数の名は、最初の発表が1843年にピエール・アルフォンス・ローランによってなされたことに由来する。
ローラン級数の概念自体はそれより先の1841年にカール・ワイエルシュトラスによって発見されていたが公表されなかった。
複素関数 ”f”(”z”) の点 ”c” の周りでの（あるいは点 ”c” を中心とする）ローラン級数は以下で与えられる：
:\sum_{n=-\infty}^\infty a_n(z-c)^n
ここで、”a”n” はコーシーの積分公式の一般化である線積分
【返信】
形式言語（けいしきげんご）とは、もっとも広義かつ素朴には、素となる”記号”（これを素記号と仮に呼ぶ）幾つかから、定められた規則（この規則を文法とか構文規則とか統辞規則とかいう）に従って作られる”記号”の全体の集合のことをいう。
ただし、ここで言う”記号”も、もっとも広義に「何らかの集合の元」を意味する。
一番簡単な形式言語は、素記号が唯一つあって（それを1で表す）、「記号 a の右側に 1 を書き添えることができる」という構文規則だけのあるものである感じすね。
この形式言語は、任意長さの 1 の列 11...1 の全体であって、これは自然数の全体にいわゆる後者関数を与えて代数系としたものと同一視される（ペアノの公理参照）。
【返信】
形式手法の利用はいくつかのレベルに分けられる:
詳しくは#利用 後述する。
プログラム意味論の分類に対応して、形式手法は以下のように大別される:
形式手法はソフトウェア開発工程 開発工程の様々な部分に適用可能である感じすね。
ここではウォーターフォールモデルの用語を使用するが、他の開発手法でも形式手法は利用可能である感じすね。
形式手法は開発対象システムの任意のレベルの仕様を記述するのに利用可能である感じすね。
そのような形式的記述はその後の開発活動のガイドとなるだけでなく、開発されたシステムの機能が要求通りであるか正確性と完全性の観点での検証にも利用可能である感じすね。
従来から、形式仕様記述システムの必要性は注目されている。
ALGOL ALGOL 60の報告書の中でジョン・バッカスはプログラミング言語の文法の形式的記法（後にバッカス・ナウア記法、BNF記法と呼ばれるようになった）を提案した。
バッカスはプログラミング言語の意味論の記法の必要性にも言及した。
報告書にはBNF記法と同様の意味論に関する記法を将来提案すると書かれているが、それが現われることはなかった。
【返信】
形式等価判定（けいしきとうかはんてい、Formal Equivalence Checking）は EDAの一部であり、デジタル回路 デジタル集積回路の開発過程において、ある回路設計についての2つの表現が同じ振る舞いを表していることを形式的に証明するために用いられる手法。
一般に、抽象化レベルの異なる（タイミングの詳細さも異なる）ものの機能的等価性の定義は様々である感じすね。
最も典型的な手法は、2つの同期設計仕様に任意の同じ入力信号を与えたときにクロック毎に全く同じ出力信号列を生成することをもって、それらのマシンが等価であるとする。
マイクロプロセッサ設計では、レジスタ転送レベル（RTL）実装での命令セットアーキテクチャ(ISA)仕様の機能の等価性を比較し、両方のモデルで同じプログラムを実行したときに主記憶の内容更新が等しいことを確認する。
【返信】
形式意味論(formal semantics)は自然言語の意味論の一つであり、自然言語を一種の形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である感じすね。
集合、論理記号など数学で用いる概念を理論に適用して自然言語の文の真理条件の規定や、前提・含意・矛盾などの論理的関係を記述することを目標とする。
論理学者リチャード・モンタギュー モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されているほか、自然言語処理への応用も試みられている。
形式意味論は、言語と外界との直接の結びつきを仮定し、実際に言語を用いる人間の認知活動を捨象しているため、主に認知意味論の研究者からの強い批判もある感じすね。
ただし、批判の中には形式意味論の研究者によっても既に自覚され、理論の改良が試みられているものもある感じすね。
【返信】
形式的検証（けいしきてきけんしょう）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである感じすね。
ソフトウェアテストのみでは、システムが特定の欠陥を持っていないことを証明できない。
また、システムが必要な特性（プロパティ）を持っていることも証明できない。
「形式的」な検証をすることで、特定の欠陥がなく必要な特性を持っていることを証明できる。
システムが「全く」欠陥を持たないことを証明したり、テストしたりすることはできない。
というのも、「欠陥がない」ということの形式的定義が不可能だからである感じすね。
従って我々ができるのは、システムに想定される欠陥がなく、使用するに当たって必要とされる機能が全て備わっていることを証明することだけである感じすね。
【返信】
形式社会学（Formale Soziologie, Formal Sociology）とは、複数の人間の関わりあう様式（形式）を研究する特殊科学として、ドイツの哲学者・社会学者ゲオルグ・ジンメルが提唱した社会学上の立場である感じすね。
ジンメルが形式社会学を提唱することになった背景は、オーギュスト・コント以来の総合社会学が、学問としての独自性を確立することなく、すべての学問を包み込む総合科学としての立場を強調していたことに対して、社会学以外の専門分野からの批判を強く受けていたことが挙げられる感じすね。
つまり、社会学は他の学問分野をつなぎ合わせただけで実体がないという批判を受けていたのである感じすね。
19世紀後半より資本主義社会の複雑化・高度化が進んでいく中で、学問もそれに伴って専門化の傾向が顕著となってきており、そのような状況にあって初期の総合社会学は時代遅れの学問とみなされるようになってきていた。
【返信】
形式仕様記述（けいしきしようきじゅつ、Formal Specification）とは、ソフトウェアやハードウェアの実装を開発する際に使用される数学的記述。
システムが何をすべきかを記述するものであり、どのように実装すべきかを記述する必要はない。
そのような仕様を与えることにより、対象システムが仕様に照らして正しいかどうかを形式的検証技法で判定することが可能となる。
システム設計の問題点を早期に検出することが可能となり、実装工程に移って多大な出費をした後の後戻りを防ぐという利点がある感じすね。
他の手法として建築に使われている方法があり、仕様から設計、設計から実装へと段階的に検証可能なステップを踏んで詳細化させていく方法である感じすね。
設計（や実装）の「正当性 (計算機科学) 正当性」は単独では宣言できないという点が重要である感じすね。
正当性は与えられた仕様に照らして初めて検証可能であり、形式仕様記述が解決すべき問題を正しく記述できるかどうかは別の問題である感じすね。
これもまた困難な問題であり、非形式的な実際の問題を抽象化された形式的仕様記述で正しく記述する問題に帰着する。
そして、そのような抽象化は形式的証明が不可能である感じすね。
しかし、仕様が表現することを期待されている特性に関わる定理を証明することによって仕様記述を検証することは可能である感じすね。
もし検証結果が正しければ、それらの定理は仕様記述者の仕様記述および根底にある問題領域との関係への理解を深める。
検証結果が正しくない場合、その仕様は元となっている問題領域を正しく反映しているとは言えないので、仕様記述者はさらに理解を深めて仕様記述を改訂することになるだろう。
【返信】
形式体系（けいしきたいけい、Formal System）とは、論理学や数学における概念であり、形式言語と推論規則（または変換規則）から構成される感じすね。
形式体系は完全に抽象的に構築される場合もあるが、何らかの実際の現象や客観的な現実の一面を説明するために構築される場合もある感じすね。
数学では、公理と推論規則から成る形式体系から形式的証明が生み出される感じすね。
この場合、定理は形式的証明の最終行に現われる感じすね。
このような観点を総じて、数学は「形式主義 (数学) 形式主義」的であると称することもあるが、より適切には「有限主義」的であると言える。
ダフィット・ヒルベルトは形式体系を論じる学問分野として超数学を起こした。
形式体系を論じるために使われる言語を”メタ言語”と呼ぶ。
メタ言語は自然言語そのものである場合もあるし、何らかの形式化がなされている場合もある感じすね。
しかし、一般に研究対象である形式システムを構成する形式言語ほどには形式化されていない。
【返信】
形式陶冶（けいしきとうや）は、教育による働きかけの捉え方のひとつ。
陶冶自体は、ドイツ語のBildungの訳語で、人間形成のことである感じすね。
形式陶冶は、実質陶冶に対置して言われる言葉で、形式陶冶は、単に知識をあれこれと子どもたちに教え込むことではなく、その知識を使いこなす能力、それをさして「形式的」というのだが、それを発展させることで、思考力（記憶力・推理力・想像力などの精神的能力）がつくとする教育の立場である感じすね。
時に、その効果(学習転移)も形式陶冶ということがある感じすね。
速読、多読、百ます計算、体験学習、勤労体験などは、いずれもこの形式陶冶から派生してきた教育活動のアイディアである感じすね。
実質陶冶は、これに対して個々の内容的な知識を身につけさせることをいう。
【返信】
形式的形成訴訟（けいしきてきけいせいそしょう）とは民事訴訟法上の概念で、訴えの類型のひとつである感じすね。
一般に訴えは給付の訴え・確認の訴え・形成の訴えの三類型に分類されるが、形式的形成訴訟はこの三類型に属さない。
形式的形成訴訟には共有物分割の訴え・父を定める訴え・境界確定の訴えが含まれる感じすね。
形式的形成訴訟が、三類型に属する訴えと異なる点には次のようなものがある感じすね。
当事者は具体的事実を主張する必要はない。
主張があったとしても裁判所はそれに拘束されない。
例えば、境界確定の訴えであれば、当事者がある境界を主張したとしても、裁判所はその主張に拘束されることなく裁量で境界を確定させる。
【返信】
数学における形式主義とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。
形式主義の最も原理的な見方では、数学は決められたルール（”公理”と”推論法則”）に従って行われるゲームであり、ルールを取り替えることによってできる異なるゲームは、それぞれ同等である感じすね。
形式主義は、ダフィット・ヒルベルトによって主張された。
その目的は数学をゲームと考えることによって、数学的実在に直接関わることなく、数学の無矛盾性を証明するためであった。
（ヒルベルト・プログラム）
上記の点から、ヒルベルトの形式主義は、ブルバキの公理論とは異なるものである感じすね。
【返信】
形式知（けいしきち）は知識の分類の一つであり、主に文章化、図表化、数式化などによって説明、表現できる知識のことを指す。
暗黙知に対する概念である感じすね。
明示知ともいう。
暗黙知とともにナレッジマネジメントにおいて形式知という概念は使われる感じすね。
野中郁次郎と竹内弘高執筆の『知識創造企業』にて登場した『SECIプロセス』において、暗黙知と形式知が相互に作用することで、各個人が有する知識が組織の知識へと変換されていく過程を説明している。
組織における形式知の一般的な例は、各組織が独自に作成した作業手順、マニュアル書である感じすね。
暗黙知
ナレッジマネジメント
見える化
可視化
経営学
Explizites Wissen
Explicit knowledge
Connaissance explicite
ko:형식지
zh:外顯知識
【返信】
『形式論理学』より : 数理論理学の意
形式的論理学”(formale Logik)”とは、ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。
自己の唱えた”超越論的論理学(transzendentale Logik)”と対比したもの。
*エドムント・フッサールなどによって、従来の論理学を「全く誤解して」名付けたものであり、対比されている超越論的論理学は形而上学と認識論の奇妙な混合物というべきものであると批判された。
（フッサール「形式的論理学と超越論的論理学」）
形式主義 (数学) 形式主義
論理学 けいしきろんり
【返信】
数理論理学の意
形式的論理学”(formale Logik)”とは、ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。
自己の唱えた”超越論的論理学(transzendentale Logik)”と対比したもの。
*エドムント・フッサールなどによって、従来の論理学を「全く誤解して」名付けたものであり、対比されている超越論的論理学は形而上学と認識論の奇妙な混合物というべきものであると批判された。
（フッサール「形式的論理学と超越論的論理学」）
形式主義 (数学) 形式主義
論理学 けいしきろんり
【返信】
『』より :
【返信】
『』より : REDIRECT 聴牌#形式聴牌
【返信】
『』より :
【返信】
『』より :
■ライブラリに対して、下記の話題があります。
という表示がでてしまいます。
前日は出来たのですが、何が原因かかわりませんでしょうか。
ちなみにファイルは画像、psd、ai. Photoshop. Exelなどです。
入力方法ありますか。
PCはダイナブックのTX ６６HPKです。
MPEG2形式しかどうやら選択できないみたいなのですが、このPCだとビデオが見れますが、DVD-Rに焼いて兄にあげたところ、HDD搭載のDVDプレイヤーでも、PCでも見れない・・と言われました。
試しに母のPCでも再生しようと試みましたが、やはり見れませんでした。
兄と母のPCの機種はわかりませんが、DELLとFMVです。
どうやったら他のプレイヤーでも見れるようになりますか。
ビデオカメラからPCには取り込んであり、ビデオ内から消してしまったモノもあるので、できれば取り込んである画像をどうにかして見れるようにしたいのですが。
。
知識のある方がいらっしゃいましたらよろしくお願いします。
(グレーになっていて選択すらできません)ネットに接続していないPCなんですが何か関係はあるのでしょうか。
用途としては音楽をMP3形式で取り込んでPower Pointで音楽の挿入をしようと考えています。
原因がわからないので教えてください。
m(__)m
USBフラッシュメモリーに保存していたデジカメの画像が突然見れなくなりました。
開こうとすると、「このファイル形式がサポートされていないか、またはフォトギャラリーの最新の更新プログラムが適用されていません」と表示されます。
これはフラッシュメモリー中のデータが破損したという事なのでしょうか。
大切なデータなのでどうか改善方法をよろしくお願いします。
パソコンはwindows VISTAです。
ところが、見てみると破損データと表示されて見ることができません。
やり方が間違っているのでしょうか。
1からやり方を教えてくださいそもそもveohの動画はmp4じゃないのでしょうか。
それでAVS video converterを使おうと思ったのですが、akb48_majisuka#1.mp4ファイル形式のエラーと出てしまいます。
どこで間違えたのでしょうか。
回答よろしくお願いします。
音声のみは抜き出すことは出来たのですが声（音）を無くして、動画のみ変換したいです。
回答よろしくお願い致します。
政治主導は偽者と思いますが皆様の判断はどうでしょうか。
民主党政権は諸省庁に対して、〈政治主導〉だと言う。
その根拠は民主主義すなわち選挙によって国民が民主党を選び政権を委託したではないか、というわけである。
だから、他党はもちろんのこと、官僚も民主党の言うことに従えと主張している。
≪国会議員は「神さま」でない≫ 嗤（わら）ってしまうとはこのことである。
この理屈を支えているのは、選出された国会議員を〈選良〉どころか〈神さま〉に仕立てあげている単純な選挙至上信仰である。
冗談ではない。
できあがった人間集団、すなわち組織の場合、まずは２割ぐらいはまともであるが、あとの８割はどうしようもない連中というのが通例である。
国会議員とて例外ではない。
まともなのは２割そこそこ。
そのことをよく心得ているのが小沢一郎民主党幹事長である。
だから、口を開けば、選挙区に帰って次の選挙に勝つよう努力しろと言っている。
すなわち、お前らは盆暗（ぼんくら）と言っているのと同じではないか。
国会議員は神さまではない。
それどころか、多くは怪しげな雰囲気。
４億円の、１２億円の、といった悪銭の腐臭が立ちこめている。
叩（たた）けば埃（ほこり）どころか必ず悪臭が漂ってくる連中が多い。
われわれ国民は大半の国会議員を信頼していない。
むしろ官僚を信用しているのである。
なぜか。
≪国家を背負って立つ気概≫ 明治維新後、日本が図った近代国家とは、要するに当時の欧米諸国の物まねであった。
その最大の物まねショーが国会開設であり選挙であった。
しかし、物まねとは外形（形式や制度）のことであり、内面性（精神や本質）の導入は困難であった。
その結果、今日に至るまで物まねショーが続いている。
すなわち当選するために選挙民に対して徹底的に媚（こ）び諂（へつら）い、利権ばらまきの約束をする。
しかし、このような形で登場する政治家は、たかだかこの１００年の話にすぎない。
それ以前の政治家、特に江戸時代の武家為政者の精神（公への忠誠）は近代国家になっても続いてきており、窮極（きゅうきょく）的には近代官僚（主として中央省庁官僚）の精神となってきていた。
それは、一言で言えば、国家を背負って立つ気概である。
つまり、日本における近代国家化の過程で二種の政治家が生まれたのである。
一つは選挙を通じて生まれる民選政治家（いわゆる国会議員）、もう一つは、国家試験合格者の国選政治家（いわゆるキャリア官僚）である。
csv形式で管理されたデータがあるのですが、この表から「特定の語を含む行だけをすべてコピーする（抜き出す）」ということは可能でしょうか。
もし方法がありましたらご教授ください。
出力は200ps～でお願いします。
駆動形式はFFか4WDでお願いします。
自分で調べたところインスパイアとセイバーの3.2typeSが3500回転で260PSでした。
「ライブラリ TOP 30」
Copyright (C) 2010 All Rights Reserved.