によって帰納的に定義される文字列の集合。
狭義には、句構造文法によって定義される言語を指す。
１．さまざまな文字コード（情報交換用符号） ２．自然言語を定義する形式言語 ３．逆ポーランド記法 ４．状態遷移 ５．有限オートマトン ６．AI（人工知能） 【令和５年度】 いちばんやさしい 基本情報技術者 絶対合格の教科書＋出る順問題集 作者:高橋 京介 SBクリエイティブ Amazon 情報に関する理論は多岐にわたり、さまざまな要素が組み合わさっています。 以下に、情報理論、形式言語理論、逆ポーランド記法、状態遷移、有限オートマトン、AI（人工知能）について解説します。 amprime.hatenablog.com １．さまざまな文字コード（情報交換用符号） 文字コードは、テキストデータや文…
｜形式言語の概要 ｜正規（正則）言語の概要 ｜BNF(Backus-Naur Form)記法の概要 ｜形式言語の活用法 ＜プログラミング言語設計＞ ＜コンパイラ構築＞ ＜自然言語処理（NLP）＞ ｜形式言語の使用上の注意点 ＞正確性： ＞複雑性： ＞適用範囲： ｜まとめ（形式言語） 【令和５年度】 いちばんやさしい 基本情報技術者 絶対合格の教科書＋出る順問題集 作者:高橋 京介 SBクリエイティブ Amazon ここでは、わたしが独学で学んだ「基本情報技術者試験」の試験科目「基礎理論」より、「形式言語（コンピュータの厳密な表現）」として「プログラミング言語や自然言語をコンピュータで処理するた…
OpenFlowを使ったSDN（Software-Defined Networking）の説明として，適切なものはどれか。 単一の物理サーバ内の仮想サーバ同士が，外部のネットワーク機器を経由せずに，物理サーバ内部のソフトウェアで実現された仮想スイッチを経由して，通信する方式 データを転送するネットワーク機器とは分離したソフトウェアによって，ネットワーク機器を集中的に制御，管理するアーキテクチャ プロトコルの文法を形式言語を使って厳密に定義する，ISOで標準化された通信プロトコルの規格 ルータやスイッチの機器内部で動作するソフトウェアを，オープンソースソフトウェア（OSS）で実現する方式 解答・…
CTO 藤村がホストするPodcast、論より動くもの.fmの第28回を公開しました。今回は STORES のエンジニア yubrotと言語の副作用や第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）の感想について話しました。 論より動くもの.fmはSpotifyとApple Podcastで配信しています。フォローしていただくと、新エピソード公開時には自動で配信されますので、ぜひフォローしてください。 podcasters.spotify.com テキストで読みたい方は下記からご覧ください。 副作用はあった方がいいのか、ない方がいいのか 藤村：こんにちは、論より…
DSLの仕様を記述する記法である拡張バッカス・ナウア記法（EBNF）と、Rubyで実際にその仕様を実装する方法について聞いてみました。 言語仕様の構成要素として，終端記号 (Terminal symbols)、非終端記号 (Non-terminal symbols)、導出記号 (::=):、選択 (|)、繰り返し ({})、オプション ()、グルーピング (())の７つの要素が組み合わされていたのですね。 いきなりパーサーのコード例を見ても理解できなかったと思います。 実装例は、簡単な方でフォーマットした文書の出力、複雑な方でRubyのテストフレームワークのDSLの例を挙げてもらいました。 D…
When I learn algorithm and data structure, I've make a mistake, I found it. I've studied them soving some excercise. But I should focus to study the concept of an algorithms and data structures without cmding. The video that I'm watching to study AWS are how it is. My AWS studying is going well. I f…
1大人と中学生に 言葉を使って考え、議論するのが人の特徴。それをヒントにアリストテレスがつくり出した三段論法中心の論理学はギリシャ語という自然言語の表現形式をフル活用してつくられています。実験を工夫する代わりに、言葉とその表現を徹底して信頼したのがアリストテレスです。彼は様々な存在を分類整理するためにカテゴリーを設け、実体、分量、性質、関係、場所、時間、位置、状態、能動、所動を挙げています。それらは言語表現から抽出された存在の基本的特徴です。文の中で主語になるのが実体、9個の様相はいずれも述語を使って表現されます。 では、アリストテレスの「実体」とは何か？それは、「これ」、「あれ」と代名詞を使…
初見の文献のみ。自分の検索用。 川添愛 (2013). 『白と黒のとびら―オートマトンと形式言語をめぐる冒険』東京大学出版会. 川添愛 (2016). 『精霊の箱 上―チューリングマシンをめぐる冒険』東京大学出版会. 川添愛 (2016). 『精霊の箱 下―チューリングマシンをめぐる冒険』東京大学出版会. 宮口幸治 (2020). 『境界知能とグレーゾーンの子どもたち』扶桑社. 宮口幸治 (2023). 『境界知能の子どもたち 「IQ70以上85未満」の生きづらさ』SBクリエイティブ. Plonsky, L., et al. (2024). “Significance sells”: Appl…
大変更新に間があったお詫びは次回に述べます。実は下書きは大体できていたのでそれをまずUPします。 ネットワークアルゴリズムはひとまず中断し、これから有限オートマトンと正規表現について見ていきます。プログラミング技術的には正規表現がとても大切ですが、アニメーションの派手さ的には有限オートマトンが一押しです。有限オートマトンの考え方はすっきりしたプログラムを作る際に欠かせないものでもあります。と言うわけでまずは有限オートマトンのアニメーションを出します。 ところで正規表現と有限オートマトンは何か関係あるの、とのお言葉、大変的確なご質問です。実はどちらも文字列、記号列を指定する方法で等しい能力を持つ…
問題提起 そこそこ有名な「自然言語にwell-definedを求めるな。」という文がある。 X (ex-Twitter) ではこの文に様々な意見がついている。 この文の形式（＝つまり文そのもの）について議論することは一定程度可能だと思う。 しかしこの文の意味する主張の妥当性についてあなたが議論しようとするとき、私はあなたが正しくこの文を解釈できているのか問いたい。 文の中には文脈(context)、違う言い方をすればその文を取り巻く環境(environment)への明示的・暗黙的な参照(reference)が散りばめられており、文章を解釈するためにはこれを正しく参照解決(dereference…
就活生や転職者のみなさん、こんにちは！これまで7年、書いた記事は1500記事を超え、求人サイトの運営まで始めた"日本イチの就活マニア"こと就活マン（@syukatu_man）です！ 今回は、カップヌードルでおなじみの大手食品メーカー「日清食品」の採用について解説していきます。 誰もが知る大手食品メーカーとあって、日清食品を目指す就活生は採用大学や倍率、学歴フィルターについて気になりますよね。 そこで本記事では、日清食品の学歴フィルターや倍率についてまとめました！ また、”日清食品の内定を獲得するための戦略”についても共有します。 僕は中堅大学出身です大手食品メーカーから内定を獲得しました。 そ…
主語と述語をアリストテレスやナーガールジュナのように自然言語の文法上の主語、述語によって考えるのではなく、論理的な主語と述語によって考えようというのがフレーゲの出発点でした。主語は単なる指示代名詞（変項、変数）と固有名詞（定項、定数）の二つだけです。主語が指しているのは存在論的には個体（individual）で、比喩的には人差し指で具体的に指すことができる対象だけです。自然言語の文法上の主語の多くは述語に置き換えることができます。主語が不変か、可変かは何も主張されておらず、主語は単に指示されたもので、それゆえ、代名詞か固有名詞で表現されるというだけです。「彼」や「あなた」は状況や文脈に応じて変…
池田理代子「ベルサイユのばら」 （再度Wikipedia引用） 権力という概念は、17世紀の力学の発展を背景として生み出された。すなわち、物体はその位置エネルギーと運動エネルギーから力学的エネルギーを生じさせる。 これと同様に、何らかの「権力手段」、「基礎価値」を保持することによって、ある者が他者をその意に反してでも行動させうる、特別な「力」を保有している、という理解が生まれた。こうした権力観を「実体的権力観」という。 メロビンジアン（マトリックス・リローデッド） 藤子不二雄「ドラえもん」 ▶ ドラえもんはネコ型ロボットなのだが、ロボットの世界にも拡張子の違いや詳しく話すと長くなる諸事情がある…
本記事は UEC 2 Advent Calendar 8日目の記事です． プレイデータの引継ぎ 電気通信大学 (電通大) の3年次編入時の単位認定は出身校のシラバスなど，書類をそろえるとても面倒だとされているが，私は出身校も電通大 (旧情報・通信工学科; I科) である．それでは，この場合はどれくらいの労力でどれくらいの単位認定を認定してもらえるのだろうか． 本記事では筆者が電通大の先端工学基礎課程 (K課程) に編入したときに体験した単位認定手続きとその結果について書く．周回プレイの際の参考になれば幸いである．
これは、なにをしたくて書いたもの？ 前に、llama-cpp-pythonを使って、OpenAI API互換のサーバーを立てるということをやってみました。 llama-cpp-pythonで、OpenAI API互換のサーバーを試す - CLOVER🍀 この時はcurlでアクセスして確認してみましたが、今度はOpenAIのPython APIライブラリーを使ってみたいと思います。 OpenAI Python APIライブラリー OpenAI Python APIライブラリーのGitHubリポジトリーはこちら。 GitHub - openai/openai-python: The officia…
Homotopy type theory（ホモトピー・型理論）は、集合論の代替になりうる。 集合論は第一階述語論理の証明システム→ZFC集合論の二層から成り立っているが、型理論は第一階述語論理といった上位層の内部として理論を位置付ける必要がない。なぜなら命題は特定の型であり、定理の証明とは単にその特定の型をいじくる特殊操作にすぎないからである。 【ChatGPTによる要約】 型理論と集合論の主な違いは次のとおりです： 基本的な概念: 集合論: 集合論は集合と命題の2つの基本的な概念に基づいています。集合は対象の第2の層であり、命題は第1の層であり、集合と命題の間の相互作用が中心です。 型理論:…
↓これの続き！ cut-elimination.hatenablog.com ↓これを順番に読んでいくシリーズ！ 現代思想 2023年7月号 特集＝〈計算〉の世界 作者:森田真生,細谷曉夫,近藤和敬,フリードリヒ・キットラー,ユク・ホイ,谷村省吾 青土社 Amazon 新屋良磨「形式言語理論とは何か」 形式言語とオートマトンを数学的に研究している先生による形式言語理論の入門記事。勉強になります。 数学的にも計算機科学的にも言語学的にも興味深い問題がいろいろあるようだ。あとチョムスキーはすごい。 鈴木泰博「計算と自然 ライプニッツ・熊楠・触譜」 著者による↓の本は自然科学の解説書なのに哲学が強い…
www.amazon.co.jp
dlit.hatenablog.com
ja.wikipedia.org
www.trs.cm.is.nagoya-u.ac.jp
www.trs.css.i.nagoya-u.ac.jp
www.chimaira.org
www.kmonos.net
xtech.nikkei.com
kmizu.hatenablog.com
