着工から100年以上経ってなお建設中であるユネスコ世界遺産、「永遠に完成されない建物」の代名詞的建造物、スペイン・バルセロナのサグラダ・ファミリア聖堂。 ところがこのたび、2025年に聖母被昇天の礼拝堂が、またガウディの没後100年にあたる2026年には高さ172.5mのメインタワー「イエス・キリストの塔」が落成され...
問題提起 そこそこ有名な「自然言語にwell-definedを求めるな。」という文がある。 X (ex-Twitter) ではこの文に様々な意見がついている。 この文の形式（＝つまり文そのもの）について議論することは一定程度可能だと思う。 しかしこの文の意味する主張の妥当性についてあなたが議論しようとするとき、私はあなたが正し...
はじめに 正規表現は様々なプログラミング言語で利用されている、テキスト処理のためのパターン言語です。 正規表現はテキストエディタでの検索や置換、入力文字列のバリデーションなどプログラミングの様々な分野で実用されています。 ある程度の規模のプログラムにおいて、正規表現を全く利用しない (利用していない) ...
Ruby 3.3リリース！ 新機能解説 Lrama LRパーサジェネレータが切り開く、Rubyの構文解析の未来 シンプルで強力な文法はRubyの特徴のひとつだと言われています。その文法を技術的に支えているのがパーサです。Ruby 3系のひとつの目標として、LSPやRBS、TypeProfをはじめとした各種ツールの拡充があります。それらのツー...
論理学とその周辺領域の本を並べてみた*1．この記事にあげる本は，何らかの形でわたし自身が手に取ったことのあるもの(読んだとは言っていない)に限定している*2．ただし，原語版は手に取ったことがあるが，日本語訳はそうではない，またはその逆という場合はある． すべての本に対してコメントをしきれていないので，周...
システム開発上中流工程でユビキタス言語化された日本語プログラミング言語と日本語識別子を使った数学的形式言語のソースコード対比レイヤードアーキテクチャ日本語プログラミング日本語プログラミング言語ロジック仕様記述言語数学的形式言語 はじめに 日本語プログラミング言語をモデリング言語としてシステム開発上...
この記事の内容 コンパイラには興味があるが情報学科を出てないのでどう学べばいいか分からないといった人のヒントになるように、雑ですがメモを残しておきます。 高評価が多ければ、もうちょい詳しく書こうかなと思います。 自分の経歴 大学は文系を卒業し、建築関係の仕事をしている会社の事務職として就職しました。 ...
Referential transparency for DUMMIES これは参照透過性（Referential transparency）を解説する記事です 表題の 「サルでもわかる」 というのは、 ということだが、英語圏ではもっとストレートな表現として Dummies「馬鹿な人」 というスラング表現で、 【バカ用】という現代社会ではかなりアウトぽい表現 が未だに人...
ゲーム作るくん @GameTsukuruKun 個人でゲーム制作してます。ゲームボーイ風のメトロイドヴァニアを作る、を目標に、今は練習としてちょっとしたゲームをいろいろ作っています。 シンプルなローグライクＲＰＧ『カードローグ』 gametsukurukun.com/card-rogue/ ブラウザゲームなのでリンク踏むだけで遊べます！ ぜひ！ g...
【早くも３刷】『ChatGPTの頭の中』著者インタビュー スティーヴン・ウルフラム×安野貴博「AI、SF、そしてルリアド」 ChatGPTの開発元であるOpenAIのCEO、サム・アルトマンが「最高の解説書」と絶賛した『ChatGPTの頭の中』（スティーヴン・ウルフラム、高橋聡訳、稲葉通将監訳、早川書房）。本書は近年急速に関心が高...
「形式言語」に関連する商品は見つかりませんでした