a1d - Metamath Proof Explorer a1d - Intuitionistic Logic Explorer Hypothesis Ref Expression a1d.1 ⊢(𝜑→𝜓) Assertion Ref Expression a1d ⊢(𝜑→(𝜒→𝜓)) Proof of Theorem a1d Step Hyp Ref Expression 1 ax-1 ⊢(𝜓→(𝜒→𝜓)) 2 ax-1 ⊢( (𝜓→(𝜒→𝜓)) → (𝜑→(𝜓→(𝜒→…

https://github.com/kuina/KuinInKuin から引用. Welcome to the Labyrinth of Kuin Compiler, where many programmers who challenged to read the code never came back. where節の中身だけ見ると， S: many programmers (who challenged ... the code) V:…

https://youtu.be/UKknJceRmZw?t=83www.youtube.com上記の動画で流れる音が以下の様に周波数比や周波数になっていることを確かめた訳ではない．動画の楽譜のような和音の場合，和音を純正に取るなら以下の様な周波数比になるという例を示しただけ． 一つ目の…

https://arxiv.org/abs/1806.07366Neural ODE https://jontysinai.github.io/jekyll/update/2019/01/18/understanding-neural-odes.html adjoint sensitivity methodの解説？ https://rkevingibson.github.io/blog/neural-networks-as-ordinary-differential…

https://arxiv.org/abs/1606.03498 Abstractから引用 We hypothesize the existence of undesirable local equilibria in this non-convex game to be responsible for mode collapse. S: We V: hypothesize O: the existence (of ...... (in ......)) C: to…

https://www.jma.go.jp/jma/kishou/books/nwptext/45/1_chapter4.pdf プリミティブ方程式 - Wikipedia

chrome.google.com chrome.google.com chrome.google.com chrome.google.com chrome.google.com chrome.google.com chrome.google.com chrome.google.com chrome.google.com chrome.google.com chrome.google.com chrome.google.com chrome.google.com chrom…

メディアミックスコンテンツも手を出し始める？ 20年前のコンテンツだからできたこと？ 客層がオトナ 懐古だからわりと緩くていい 昔のコンテンツだから爆破力（バズり）に欠ける 「魂」の負担がデカい？（キャラ演技） アニラジの変種に過ぎない 昔ほど尖っ…

語族 語派 言語 Sino-Tibetan Sinitic Chinese Turkic Turkish Afro-Asiatic Semitic Hebrew Afro-Asiatic Semitic Arabic Austroasiatic Vietic Vietnamese Austronesian Malayo-Polynesian Hawaiian Austronesian Malayo-Polinesian Indonesian Niger-Cong…

何もやりたいことが無いという状態の時こそ不安感を大きく感じる． 忙しいときの方が漠然とした不安は少なく感じ，忙しさが増すにつれてしんどさが大きくなる． 力学について 以下，https://eman-physics.net/analytic/makelag.htmlから引用： むしろ逆に、…

Wolfram's 2-state 3-symbol Turing machine - Wikipedia Wolfram 2,3 Turing Machine Research Prize # Wolframの2状態3シンボルユニバーサルチューリングマシン class wolfram23tm: def __init__(self): init_len = 30 # テープの初期長 self.tape = [0] *…

Cakewalkのインストール時に同時にStudio instruments SuiteをインストールするとCakewalkからSI-Bass GuitarやSI-Electric Pianoが使えなかった． 一回Studio instruments Suiteをアンインストールして，BandLab Assistantからアドオンの追加でStudio instr…

1 LCCのバーティカルは，ある瞬間におけるコードに対してスケールが決定され，そのスケール上でメロディーが作られる． LCCのホリゾンタルは，コード進行によって，さらに言えば，ある程度の幅を持った時間における複数のコード進行に対してスケールが決定さ…

「同じ」 sameよりもidentcalの方がかっこいいっぽい sameよりもidenticalのほうが厳密に「同じである」ことを表すから same≒almost identical？

対照実験で得点をプロットするグラフは「交互作用プロット」と呼ぶ？ladder plot paired scatter plot paired data plot

人間が扱いたい（扱うのが楽な？）インタフェイスは人間っぽいものという気がするから， twitter上に居る，種々の「学術たん」みたいに 情報や学問分野にキャラ付けすることで，とっつきやすくはなりそう．

Cリディアンドミナント(Lydian flat seventh)はC7-5を生じると考えてよい？異名同音ならGb=F#と見なせるけど…

pythonで多次元データの度数分布表を作成（マルチフラクタル次元計算の準備） - 雑感等与えるwavファイルは同じだが処理時間は940秒ほどになった． import numpy as np import wave from scipy import fromstring, int16, int64 import itertools import sea…

pythonでjoblibをインポートして，マルチスレッド・マルチプロセスが使える．並列化するためには，関数型っぽく書くことを強要されるが，逆に見通しが良くなる場合があっていいかもしれない．

kazmus.hatenablog.jp これって結局horizontal tonal gravityとvertical tonal gravityに帰着させられるのか？

曲のテンポ別に 聴く側の感じ方として，↑遅い chord-like 和音構成音的 melody-like メロディックなリズムがある scale-like or mode-like メロディックなリズムが無くアト―ナル 高速のボカロ曲とかにある．sheets of sound ↓速い分類としては全く系統的では…

4次元図形の描画方法として以下のページで述べられていた方法を実装した． 【ゆっくり解説】四次元空間の描き方の基本 - ニコニコ動画 動画「四次元空間の描き方の基本」投稿:本当は怖くない四次元空間 - ブロマガ以下に作成したプログラムの動作画面を示す…

phantom numberって名前からしてかっこいいarxiv.org

Bayesian linear discriminant analysis (BLDA)の論文 https://ieeexplore.ieee.org/document/5166506 https://www.sciencedirect.com/science/article/pii/S0165027007001094

マルチフラクタル次元を計算するため，多次元データの度数分布表を作成するプログラム．マルチフラクタル次元は，一般化次元（北海道大学の井上 純一先生作成の資料「2009年度 カオス・フラクタル 講義ノート」の第8回や第12回に示される）とも言われる．以…

指数関数表記のシフト演算子 - 雑感等微分演算子をと置くと が成立する． （ラプラス変換の移動法則にも似ている．）→テイラー展開から証明 左辺をテイラー展開して， 上式中の微分を微分演算子で置き換えると， をくくりだすと， ここで指数関数のテイラー…

waveファイルの波形表示: 【Python】音声ファイル（Wave）の波形表示 | アルゴリズム雑記音声再生: PyAudio Documentation — PyAudio 0.2.11 documentation

venez-maider.comvenez-maider.comjukuko-dyamjoe.blog.jp

実行結果 ソース マクロの引用元 tex.stackexchange.com \RequirePackage[l2tabu, orthodox]{nag} \documentclass[12pt, a5j, uplatex]{jsarticle} \usepackage{fancybox} %ovalbox %以下，片方開いた囲み(one-side-opened fbox)の定義 %https://tex.stackex…