  |
はてなキーワード: DIFFとは
利用規約を書いたりする方面のお仕事をして2桁年経つサラリーマンです。
まず最初に、
で、利用規約については基本diffを取って見ないとわかりません。
あなた、前回の規約を一字一句書き出せますか？今回との差分がわかりますか？
わかりませんよね。
という感じ。
当たり前なんだけど前回から何変わったの？が大前提で、そこから更に読み解かないといけないんですよ。
てことで
って話は覚えておいてほしい。
あともう一つ、
「規約にどうとでも取れるように書いたせいでユーザー離れたの？www」って意見があったのですが
これ何か結構マズイなと思ってて、利用規約って良いこと悪いことバッチリ明記されてないんですよ。
これなんでかって言うと、ユースケースが多くてですね。
二次創作なんかでも、例えばゲームの料理本が怒られたりするけど、なんかこう全部が全部じゃないですよね。それなんですよ。
なのでこれは覚えておいてください。
今回規約に関しては適当なこと書いてる人は周りの評価を落としたんじゃないでしょうか。
ちなみに特定のサービスの利用規約を曲解してマイナス影響を与えると、場合によってはしっかり怒られるので気を付けてください。
でも止めたほうがいいんじゃない？
以上、老害でした。
ループ量子重力理論は、4次元ローレンツ多様体 M 上で定義される。この多様体上に、SU(2)主束 P(M,SU(2)) を考え、その上の接続 A を基本変数とする。
A ∈ Ω^1(M) ⊗ su(2)
ここで、Ω^1(M) は M 上の1-形式の空間、su(2) は SU(2)のリー代数である。
Ψ_γ[A] = f(hol_γ[A])
ここで、γ は M 上の閉曲線、hol_γ[A] は γ に沿った A のホロノミー、f は SU(2)上の滑らかな関数である。これらのシリンダー関数の完備化により、運動学的ヒルベルト空間 H_kin が構成される。
H_kin の正規直交基底は、スピンネットワーク状態 |Γ,j,i⟩ で与えられる。ここで、Γ は M 上のグラフ、j はエッジに付随するスピン、i は頂点に付随する内部量子数である。
面積演算子 Â と体積演算子 V̂ は、これらの状態上で離散スペクトルを持つ：
Â|Γ,j,i⟩ = l_P^2 Σ_e √j_e(j_e+1) |Γ,j,i⟩
V̂|Γ,j,i⟩ = l_P^3 Σ_v f(j_v,i_v) |Γ,j,i⟩
ここで、l_P はプランク長さ、f は頂点での量子数の関数である。
時空の発展は、スピンフォーム σ: Δ → SU(2) で記述される。ここで、Δ は2-複体である。物理的遷移振幅は、
Z(σ) = Σ_j Π_f A_f(j_f) Π_v A_v(j_v)
で与えられる。A_f と A_v はそれぞれ面と頂点の振幅である。
W_γ[A] = Tr P exp(∮_γ A)
を通じて特徴づけられる。ここで、P は経路順序付け演算子である。
理論は微分同相不変性を持ち、変換群 Diff(M) の作用の下で不変である。さらに、ゲージ変換 g: M → SU(2) の下での不変性も持つ：
A → gAg^-1 + gdg^-1
理論の数学的構造は、BF理論を通じてトポロジカル場の理論と関連付けられる。これにより、4次元多様体のドナルドソン不変量との関連が示唆される。
今日は朝から頭の中で魔法を数学的に抽象化することを考えてみたんやけど、これがまためちゃくちゃ深いんや。まず、魔法の呪文をバナッハ空間の作用素として考えるっちゅうのは基本やけど、これをさらに進めて、フォン・ノイマン代数の元として捉えてみたんや。ここでは、呪文を自己随伴作用素 T として、スペクトル分解を通じてその効果を解析するんや。これが無限次元空間での作用を考えると、スペクトル理論や作用素環論が絡んできて、ほんまに深遠やわ。
次に、変身術をリー群の作用として捉えるんやけど、これをさらに高次元の多様体上の微分同相群の作用として考えてみたんや。対象の集合 X 上の微分同相群 Diff(X) の滑らかな作用として、g ∙ x = y みたいに表現できるんやけど、ここでリー代数のエレメントを使って無限小変換を考えると、接束や微分形式が出てきて、微分幾何学的な視点がさらに深まるんや。ホンマに、変身術って奥が深いわ。
さらに、魔法の相互作用をホモトピー型理論と∞-カテゴリーを使って考えてみたんや。これを使うと、魔法は∞-グループイドの間の射として捉えられて、ホモトピー同値な空間の間の射として表現されるんや。例えば、呪文 f: A → B は対象 A を対象 B に変える射と見なせて、これがホモトピー同値やったら、逆射が存在するんやで。これを使って、魔法の可逆性とかを高次元のホモトピー理論の文脈で議論できるんや。
最後に、魔法のエネルギー保存をシンプレクティック幾何学の枠組みで考えると、エネルギーの変化をシンプレクティック多様体上のハミルトニアン力学系として解析できるんや。シンプレクティック形式 ω を使って、エネルギー E の時間変化を考慮すると、ハミルトンの方程式が出てきて、これが魔法の持続時間や効果を決定するんや。ほんまに、魔法って物理的にも数学的にも奥が深いわ。
今日はこんなことを考えながら、また一日が過ぎていったわ。魔法のことを考えると、なんや心が落ち着くんや。ほんまに不思議なもんやなぁ。
超弦理論の基本的な空間は、10次元のローレンツ多様体 M として定義されます。
ここで、R^(1,3) は4次元ミンコフスキー時空を、X は6次元のコンパクト多様体を表します。
1. リッチ平坦
2. 複素構造を持つ
3. ケーラー計量を許容する
f(z1, z2, z3) = 0
ここで f は複素多項式です。
超弦理論の空間を、モジュライ空間 M_CY からの射として記述します：
ここで M_CY はカラビ・ヤウ多様体のモジュライ空間です。
特に、ホッジ数 h^p,q = dim H^p,q(X) が重要です。
X を単体的複体として再構築します：
ここで K は単体的複体、|K| はその幾何学的実現です。
ここで g_μν は計量テンソルです。
ここで γ は p と q を結ぶ測地線です。
これらの定義を組み合わせることで、超弦理論の幾何学をより具体的に特徴づけることができます。各アプローチは理論の異なる側面を捉え、全体として超弦理論の豊かな数学的構造を表現しています。
2024.06.21
お知らせ
「琴葉茜・葵」に関するお問い合わせにつきまして
現在「琴葉茜」に関しまして、多くのお問い合わせをいただいておりますが、当社キャラクター及びこれに関する情報の使用 に関しましては、「キャラクター使用ガイドライン」を遵守の上でご使用いただくよう、お願いいたします。
当社はキャラクターの適切な管理・運営のため、お問い合わせいただいた内容につきましては適宜調査の上、キャラクター使用ガイドラインに則りながら、当社の裁量により、厳正に対処して参ります。
判断基準や 個々の使用方法のガイドライン違反該当性についてお問い合わせ頂いても、個別に回答はいたしかねますので、何卒ご了承ください。
なお、当社及び当社キャラクターは、特定の思想や特定の出来事への賛否、及び政治信条等には、一切関知するものではございません。
お知らせ
「琴葉茜・葵」に関するお問い合わせにつきまして
当社のキャラクターである「琴葉茜・葵」は2014年の発表以来、多くのファンの方に育てていただき、この4月に9周年を迎えます。
現在「琴葉茜」に関しまして、多くのお問い合わせをいただいておりますが、当社キャラクター及びこれに関する情報の使用 に関しましては、「キャラクター使用ガイドライン」を遵守の上でご使用いただくよう、お願いいたします。
当社はキャラクターの適切な管理・運営のため、お問い合わせいただいた内容につきましては適宜調査の上、キャラクター使用ガイドラインに則りながら、当社の裁量により、厳正に対処して参ります。
判断基準や 個々の使用方法のガイドライン違反該当性についてお問い合わせ頂いても、個別に回答はいたしかねますので、何卒ご了承ください。
なお、当社及び当社キャラクターは、特定の思想や特定の出来事への賛否、及び政治信条等には、一切関知するものではございません。
https://www.youtube.com/watch?v=ckZBkz_XC6E
Peter Eötvös : Concerto pour harpe
以下概要欄
Cette oeuvre (création mondiale) est une commande de Radio France - Rundfunkorchester und Chöre GmbH Berlin - Orchestre de la Suisse Romande - Musikverein de Vienne - Casa da Música de Porto - Orchestre Symphonique de la NHK de Tokyo, dédiée au harpiste Xavier de Maistre.
Seven, premier concerto pour violon, rendait hommage aux cosmonautes de la navette Columbia ; DoReMi, le deuxième, était un retour à l’enfance et aux premiers apprentissages musicaux ; Alhambra, le troisième, une promenade architecturale en compagnie de ses interprètes : chaque concerto de Peter Eötvös possède son monde propre. Certains titres annoncent une réinvention du dialogue entre le soliste et l’orchestre : Replica pour alto, le bartokien CAP-KO, acronyme de Concerto for Acoustic Piano, Keyboard and Orchestra, Focus pour saxophone suggérant l’usage d’une caméra sonore et une mise au point entre différents plans. De fait, le genre est approprié aux plus folles explorations dans le théâtre instrumental. C’est ainsi que la pièce de jeunesse Kosmos a 9 offert à un cymbalum très hongrois de jouer un nouveau rôle en compagnie de l’orchestre dans Psychokosmos. En 2023, le compositeur renoue avec l’essence même du genre en proposant à Xavier de Maistre un simple Concerto pour harpe.
En trois mouvements vif-lent-vif, ce concerto s’inscrirait dans le schéma le plus classique, si seulement la harpe bénéficiait d’un répertoire symphonique aussi riche que les autres instruments solistes. Si Haendel lui a offert quelques pages, Mozart a senti le besoin de lui adjoindre la flûte pour l’associer à l’orchestre. Et les efforts des Krumpholz, Boieldieu, Pierné et Glière n’y ont rien changé : les concertos pour harpe ont le privilège de la rareté. « Allegro e felice », indique Péter Eötvös en tête du premier mouvement. Seraitce là une joie inspirée par son interprète Xavier de Maistre ? « Xavier est sportif et sait danser, voilà un aspect du portrait que j’ai fait de lui », confie Péter Eötvös, avant de préciser : « Je trouve la plupart des concertos existants très bien écrits pour harpe, mais ils ne s’aventurent guère dans les modernités des dernières décennies. C’est pourquoi j’ai essayé de nourrir l’écriture de harpe d’éléments plus actuels, et de l’associer à un petit orchestre. » Sur plusieurs cordes, les glissandos de harpe influencent ainsi l’écriture orchestrale.
Jeu près de la table, frappe sur le bois, arrachés et harmoniques dressent un inventaire quasi illimité des possibilités techniques et timbres de l’instrument. De l’usage de la scordatura sur une partie du registre naissent des couleurs inédites : abaissées d’un quart de ton, certaines cordes produisent de délicieux frottements lorsqu’elles sonnent en mouvements parallèles avec les cordes à « hauteur normale ». Au centre de la pièce, un « hommage à Ravel » rappelle que le compositeur français a magnifié l’écriture de la harpe. Non seulement avec son Introduction et Allegro, qui a inspiré Péter Eötvös, mais aussi avec la féerie de Ma mère l’Oye ou encore le premier mouvement du Concerto en sol et son extraordinaire solo d’harmoniques et de glissandos. Peut-être Péter Eötvös, dans sa propre pensée concertante, se souvient-il aussi comment Ravel distribuait les soli au sein de son orchestre, capable d’offrir un magnifique contrepoint de bois à la partie du piano.
Au côté d’un instrument comme la harpe, l’orchestre doit se réinventer. Il n’en demeure pas moins que le soliste joue encore le premier rôle. Dès l’introduction, Péter Eötvös l’invite à se livrer au cours d’une grande cadence dont les courbes de plus en plus amples se transformeront dans l’Allegro en lignes tournoyantes. Il lui offrira une autre cadence à l’issue du troisième mouvement, requérant l’improvisation sans vraiment suivre les vieux préceptes du genre. En effet, l’interprète ne devra y recourir à aucune mélodie, aucun accord ni motif antérieur. Le va-et-vient plus ou moins vif et large des mains sur les cordes dessinera des formes fascinantes. Des mouvements browniens imprévisibles et pourtant mystérieusement ordonnés, comparables au ballet des oiseaux se resserrant et se dispersant dans les nuées d’étourneaux.
Pensez à vous abonner pour découvrir d’autres vidéos France Musique !
どうでもいいっちゃどうでもいい話なのだが、どこかに吐き出しておきたいのでここに書く。
Unity を捨ててお前は一体どこへ行こうというのだ？｜EIKI`を読んだ。
この文章の中で、「彼らが最初共産主義者を攻撃したとき」という詩への言及があった。
知らなかったのでググってWikipediaのページを読んだ。ブックマークしようと思ってはてブを開いたら、ずいぶん前にブックマークしてた。
が、それはどうでもよくて、他人のコメントを読んでいたら、次のような引用コメントがあった。
ニーメラーの原詩には入っていたが、全てのバージョンで「病人、いわゆる治療不可能な人々（障害者）」への言及が削除されている
次の差分で削除されたらしい。
[彼らが最初共産主義者を攻撃したとき - Wikipedia]
『ニーメラーの原詩には入っていたが、全てのバージョンで「病人、いわゆる治療不可能な人々（障害者）」への言及が削除されている』という言及が削除されていた。
問題はこっちだと思う。前者は多かれ少なかれどこにでもあるものだが、後者はその開発スタイル自体がすでに割れ窓に近い。
ぐちゃぐちゃなコードベースができてしまった場合、影響範囲を局所化して、確実に安全だと分かる小さな変更を積み上げながら直していくように移行ステップを立てるのがセオリーだ。延期できないバグ修正や機能追加ならまだ理解できるが、割れ窓直し程度のことでリスクのある変更を日常的に繰り返させる体制はやばい。実際に事故ってるし。
今回のケースは他人が埋めた地雷を踏んだようなものだから、気に病みすぎることはない。
ただ、レビュアーがバグチェックをしてるとしても、実装者としての責任を持つ気持ちはあったほうがいいと思う。責任を自信と言い換えてもいいけど、自分が手を動かした仕事に責任を持てるように動いていかないと、結果として遠回りになる。
その辺りでようやくうっすら気づいてきた。コードレビューはデグレが起きないようにしてくれるものじゃないって。コードにより引き起こされるバグの責任はレビュアーじゃなくて俺にあるんだって。
たとえばこのあたり、メンバーの中でコードレビューの目的が共有できてないのは組織の落ち度もあるけど、何かずれてるかもと思った時点で自分からすり合わせしたほうがいい。
Webスクレイピングツールは一般であまり認知されていないが、Webを中心としたIT界隈では常識的なツールであり、端的に言えば登録したWebページを巡回し更新を監視するツールである。
似たようなものにRSSやAtomフィードリーダーなどが存在するものの、Webスクレイピングツールの業界共通認識としては、監視するWebページにRSSやAtomフィードが無くともWebページ情報の差異を過去と現在で計算し、変更の閾値を超えたWebページの更新を通知し、そして保存できるというものである。
変更の閾値という処理が挟まれる理由として、広告などを代表例にWebページ閲覧時の更新の度に変化する可能性があるため1%でも更新が通知されると更新の通知が膨大となるため些細な変更を無視するためだ。
もしWebスクレイピングツールで更新されているページにPDFやJPEGなどのバイナリファイルが存在したとしても、PDFやJPEGなどのバイナリファイルが存在したとき多くの場合Diffと呼ばれる差分検出ツールを用いてバイナリファイル単位で変更があったかどうかを監視している。
Colaboなど現代の多くの団体はWebを活用して運営されているため情報をWebを介して告知するので、暇空茜応援団はそれを逆手に取り情報更新を監視している。
暇空茜応援団が即座にWeb情報の更新へ反応するのはこういった背景があるのだ。
逆に言えばWebページの更新を秒間で行うなど更新通知を飽和させるカウンターなどを想定できるが、閾値を変えればその様なカウンター手法を無視できるため意味がないし、特定のキーワードだけ抽出することも可能なので無駄なリソースとなるため無駄であると忠告しておきたい。
もしくはコマンド打ってCtrl+CでExcelにコピペして比較、もいっかいPowershellでレジストリ抽出して～と実装せず手作業でやるってことでしょうか？
んなめんどくさいことはしたくなくて、ダウンロードしてきてZip解凍するなりインストールするなりで利用できることを想定してます。
レジストリの抽出だけならあるかも＆テキストの差分比較(Diff)ならあります。
それぞれを一緒にやろうとすると厳しそう。
自分ならPowerShellでタイムスタンプつきで抽出して、それをDiffしますかね～。
DIffで思い出したけどPowershellにもDiffありましたね。Excelいらないや。
Linuxでも似たようなことはできるかと。
タイトルにある通り、”ツール”が欲しいんですね。えぇ、タイトルの通り。
プログラム作るなり、スクリプト組むなりすれば実現できる、ということは認識してます。これは”実装”ですよね。
もしくはコマンド打ってCtrl+CでExcelにコピペして比較、もいっかいPowershellでレジストリ抽出して～と実装せず手作業でやるってことでしょうか？
んなめんどくさいことはしたくなくて、ダウンロードしてきてZip解凍するなりインストールするなりで利用できることを想定してます。
CUIではなくGUIで、ボタンポチポチでレジストリの変化を絞り込めるツールです。
メモリエディタはそういった機能があるので、使っていただけると理解しやすいかと。
もしPowershellとかExcelの(ワンライナーですらない)1コマンド(コマンドレット?)でできるならとてもありがたいですが、
そんな機能は私は存じ上げません。
もしあるのであれば教えてほしいです。
