Brzozowskiさんの発音を調べたりしたのは、Brzozowski導分への興味が再燃したからです。 ゾゾウスキ導分（Brzozowski derivative）は形式言語理論の概念です。α、βなどが適当なアルファベット（文字の集合）の上の文字列（語）だとして、Xは文字列の集合だとします。このとき、文字列αによるXのゾゾウスキ導分 Dα(X) は次のように定義されます。 {β | αβ∈X} Xに属する文字列でαを接頭辞に持つのを探して、αを取り去った残りを集めたものがゾゾウスキ導分 Dα(X) です。Dα(X) を求めるアルゴリズムを擬似コードで書いてみましょう。ここで、SetとStringは変数の型宣言に使ってます。 Set R = {}; for (String ξ in X) { if (ξ has-prefix α) { String β = rest-of ξ omittin

Brzozowski derivative (on red background) of a dictionary string set with respect to the string "con" In theoretical computer science, in particular in formal language theory, the Brzozowski derivative of a set of strings and a string is the set of all strings obtainable from a string in by cutting off the prefix . Formally: . For example, The Brzozowski derivative was introduced under various dif

性風俗レビューサイトの書き込みが、科学に昇華しました。 静岡大学で行われた研究によれば、性風俗のレビューサイトに書き込まれている情報をもとに、全国規模の性接触ネットワークを構築し、その特徴を解析することに成功した、とのこと。 研究では男性レビュワーたちの遠征状況を可視化したマップも作成され、いくつかの都道府県同士が強いつながりをもっている様子が示されただけでなく、人口規模の小さな県（和歌山県や石川県など）であってもネットワークの重要なハブとして機能していることが判明しました。 新型コロナウイルスの蔓延において「夜の街」の重要性がたびたびクローズアップされてきましたが、今回の研究によって感染経路などの理解が進むと期待されます。 研究内容の詳細は2022年11月3日に『PLOS ONE』にて公開されました。

タイタニックの残骸付近の潜水調査で検知されたソナー反応の謎が明らかになった/Xavier Desmier/Gamma-Rapho/Getty Images （ＣＮＮ） 北大西洋の深さ約４０００メートルの海底に沈み、徐々に浸食が進む豪華客船タイタニック。その近くで２６年前に検知されたソナー反応の謎を探る潜水調査で、これまで考えられていたよりはるかに変化に富んだ深海の様子が明らかになった。 ソナー反応は１９９６年、フランスの深海探査艇ノーティルのベテランパイロットで潜水士のＰ．Ｈ．ナルゲオレ氏が探知した。しかしその正体はこれまで分からないままだった。 ナルゲオレ氏など５人の調査団は今年行ったタイタニックの残骸の探査で、謎の物体を探るためにソナー反応が観測された地点を訪れた。ソナー反応の規模から判断してナルゲオレ氏は、別の沈没船があると考えていた。しかし見つかったのは、さまざまな火山岩で構成され

セブン&アイ・ホールディングスは百貨店子会社のそごう・西武を米投資ファンドのフォートレス・インベストメント・グループに売却する最終調整に入った。売却額は2000億円を超えるもよう。家電量販店大手のヨドバシホールディングスはフォートレスと連携し、東京・池袋や千葉にある百貨店内に出店するとともに、店舗不動産の取得などを通じて資金拠出する方向だ。セブン&アイは日米を軸にしたコンビニエン

皆既月食 始まりから終わりまでを一枚に収めたら美しすぎた https://t.co/mn5EvrgCMI

夜の街をぼんぼりを持った人たちの行列が練り歩く、湯涌温泉（石川県金沢市）の「湯涌ぼんぼり祭り」。アニメに登場する架空のお祭りを現実にしたこのお祭りが、今年（2022年）で10回目を迎えました。“土地のお祭り”として定着しつつあるお祭りはなぜ継続できたのか、取材しました。 今年10月22日に開催された、第10回湯涌ぼんぼり祭り 「湯涌ぼんぼり祭り」は、温泉街である湯涌町をモデルに作られたアニメ「花咲くいろは」（2011年放送）に登場する「ぼんぼり祭り」をもとにしたお祭り。「湯涌ぼんぼりまつり」は2011年9月の「花咲くいろは」放送終了後、同年10月から10回にわたって開催されています。2022年10月の開催後、「民俗コスプレの枠を超え、本物の習俗になりつつある」と紹介する来場者の投稿がTwitterで話題になりました。 華やかなイメージの金沢の市街地とは異なり、9軒の温泉宿からなる静かな温泉

何故に今!? まさかの「ソードマスターヤマト」トレンド入り🎊 これを記念して、伝説の『ソードマスターヤマト』最終話を全ページ公開✨ 夢野カケラ先生はいかにして前代未聞の最終話を作るに至ったか…そして、最終話1話前に起きた「誤植… https://t.co/hFUVsDwgOq

米Twitterで「Twitter Blue」担当のプロダクトマネジャーを務めるエスター・クロフォード氏は11月8日（現地時間）、認証バッジ（青バッジ）有償化後は、公式アカウントに青バッジとは別の「Official」ラベルを授与すると説明した。 クロフォード氏は、「Official」ラベルのついたTwitterプロフィールの画像（現在の実際のプロフィールとは異なるもの）を添えて「青バッジ保有者と公式として認証されたアカウントをどう区別するのかと、多数の人から問い合わせがあった」とツイートした。 「以前認証されたすべてのアカウントがOfficialラベルを得られるわけではなく、金で購入することはできない」という。 Officialラベルを授与されるのは以下のアカウントだ。 政府 営利企業 ビジネスパートナー 主要メディア パブリッシャー 一部の著名人 以前の条件とほとんど同じだが、「エンター

日本経済の「現在」を理解するための手がかりとして、TSRが長年蓄積してきた企業情報、倒産情報および公開情報等に基づき、独自の視点に立った分析をまとめて発表しています。

Published 2022/11/08 17:44 (JST) Updated 2022/11/08 21:36 (JST) 製造させたツナ缶にゴキブリとみられる虫が混入し、ブランドイメージが傷つけられたとして、はごろもフーズ（静岡市）が下請けの興津食品（同市）に約8億9700万円の損害賠償を求めた訴訟の判決で、静岡地裁（菊池絵理裁判長）は8日、約1億3千万円の支払いを命じた。 訴状などによると、山梨県内のスーパーで2016年、販売されたツナ缶に虫が混入していたことが判明した。 興津食品の代理人弁護士は「わずかなミスで下請け会社が1億円以上も賠償しなければならないのであれば、食品製造の下請け会社は戦々恐々としてしまう」と述べ、控訴を検討すると明らかにした。

ゲーム開始からゲームクリアまでにかかった現実の時間を計測し、そのタイムの早さを競うRTA。 ニコニコではこれまで多くの動画や生放送が投稿、配信されてきた非常に人気の高いゲームプレイ動画ジャンルのひとつで、世界的な記録が披露されていることも珍しくない。 その人気の高さは動画ランキングなどでも見ることができ、プレイタイトルやカテゴリの異なる動画が複数並ぶ姿も度々見られる。 今回紹介するのもそんな人気ジャンルのRTAに関する動画。ぎぬさん投稿の『【RTA】ポケットモンスターソウルシルバー 金ネジキRTA 1時間38分8秒 part1/7』だ。 この動画は『ポケットモンスター ソウルシルバー』本編クリア後のやり込み要素であるバトルファクトリーに挑戦し、クリアまでのタイムを計測するというもの。 今回はポケモン史上最難関とも言われる金ネジキ戦をたった1時間半でクリアしたRTA動画をご紹介する。 投稿者

私は漫画大好き人間。 いわゆる少年誌・青年誌を手広く読んでいる方ではあるが、苦手ジャンルも存在する。 その最たるものが「ラブコメ」であり、「萌え漫画」である。 今話題になっている、『ぼく勉』『かぐや様』『五等分の花嫁』は、いずれもごく初期でnot for meと思ってしまった。 この中でいうと『かぐや様』は１巻はお試し無料的なやつでちゃんと最後まで読めて、 まぁ続き読めなくもないなと思ったが買うほどではなく読んでないから読もうと思えば読める。 『ぼく勉』『五等分の花嫁』は１巻途中でもう「あーだめだな、合わないな」と読めなくなってしまった。 そんな私にとってもちゃんと最後まで買って読んで面白かったり、現在進行形で読んでるラブコメもあり、 その違いについて自己分析してみたい。 ＜読んでみてダメだったラブコメ＞（抜いたかどうかは別として、面白いと思ったかどうか） ・めぞん一刻、うる星、Is、いち