下記ページと同様の対処をしてjupyterが実行できるようになった． oboe2uran.hatenablog.com表示されたエラー： C:\WINDOWS\system32>jupyter notebook Traceback (most recent call last): File "c:\python\lib\runpy.py", line 193, in _run_module_as_mai…

ローマ時代の時刻の区分は「第〇時」の表現され，現代の時刻表現の「〇時」とは意味が異なるようだ．現代の時刻表記に関する説明が見つけられなかったため， 現代でラテン語の文を書くにあたっては ロマンス語を参考にして，時刻を奪格，時間を対格として，…

｢如何に短時間で課題をこなすか｣は教育されなかったように思う． 最近，偽装等（不適切な〈効率化〉と言えるだろう）がニュースで頻繁に取り上げられている． こういった問題も，正しい効率化を教えることで減らせるのではないだろうか．年を経るごとに若者…

複素正弦波角周波数を複素数に置き換える． 微分して速度を求める のベクトルは，そのベクトルの大きさに応じた速度で，の経過につれて複素角周波数方向に進む.

良いアナロジー www.youtube.com理解しやすく適切なアナロジー/対応関係を見つけるのは難しい． もの同士の共通点を挙げて，そこから演繹した「何か」が正しいことは，稀ではないか？和声では，根音五度下降が自然に聞こえることを，「重力による落下」とい…

2017/10/29,12:17

「宝石の国」に登場する宝石の服装が喪服らしい，ということを読んだことがあった．宝石は「骨」に相当し地上にいるから，地に埋葬されたお骨ということだろうか．

明日，オープンソースカンファレンスが開かれる． それを見学するので，オープンソースについて調べていた．そんな中ふと思い出した． 下記の記事で述べた内容について，「某英語の先生」は学生に対してこう言っていた． 「自分の名前で本にしてもいい」 kaz…

某英語の先生から習った話 "Further investigation is necessary for {us/you/...} to learn more about it." は次のように表せる． "Further investigation is necessary to learn more about it." また．"Further investigation is needed by {us/you/...}…

「すこれ」という言葉の元は「すこ」，「好き」だと思われる． その命令形だから，字面の意味としては「好きになれ」だろう． 「好き」という気持ちに共感を求める言葉とも考えられる．だから，「○○をすこれ」と書く意図は， 「（書き手）は○○がとても好きだ…

・語学: ドイツ語，フランス語，スペイン語 ・ミクシンスキーの演算子法

を求める関数． tetration x y= foldr1 (^) $ take y $ repeat x

ステップ関数: シフト演算子: シフト演算子の微分: 文献 ヤン・ミクシンスキー. 演算子法: 上巻. 松村英之, 松浦重武訳. 新版, 裳華房, 299p.

積分演算子: 微分演算子: 関数: 定数: 以下が成立する． 微分演算子の微分作用 辺々に微分演算子sを掛ける． 文献 ヤン・ミクシンスキー. 演算子法: 上巻. 松村英之, 松浦重武訳. 新版, 裳華房, 299p.

: スカラ :ベクタ : ベクタ→スカラ : スカラ→ベクタ : ベクタ→ベクタ ベクタ NG NG NG スカラ ベクタ NG スカラ ベクタ ベクタ NG NG NG スカラ ベクタ NG スカラ ベクタ

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

教わったことの受け売り．構造の共通が興味深く，美しいと思った． 電磁気学の図で電荷・磁束を結ぶメモリスタという素子は， 抵抗・キャパシタ・インダクタと比べて，最近実現された素子らしい．力学の図で，電荷・磁束に対応するのは運動量・位置だが， 不…

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

文献 伊藤和夫. “Chapter 4 what節”. 英文解釈教室. 改訂版, 研究社, 1997, p.69-92. 疑問詞"what"は単語単体の意味として， 話し手が断定できないモヤモヤした「モノ」を意味すると考えた．ここで，この「モノ」とは，話し手の主観として， 存在が認識でき…

文献のp.197のA.2.7の命題の証明の準備 （中略） これに関するメモを記す． 文献 齋藤正彦. “付録 公理的集合論”. 数学の基礎: 集合・数・位相. 東京大学出版会, 2002, p.195-197, (基礎数学, 14). 外延性公理：で ，とすると， さらに，とすると， は明らか…

文献が示すルンゲ=クッタの公式を整理する． 文献の"表 8.3 ルンゲ-クッタの公式"と"表 8.4 ルンゲ-クッタの公式（連立方程式）"をもとにする． 文献 藪忠司, 伊藤惇. “8.2 ルンゲ-クッタ法”. 数値計算法. コロナ社, 2002, p.100-101, (機械系教科書シリーズ…

データ変換の連鎖 理想的なHaskellのソースは， 欲しいデータの性質を記述したもの？ データの変換手順だけを記述したもの？ 「Emacs Lisp 脳と Haskell 脳」（http://www.mew.org/~kazu/material/2010-func.pdf） 関数型つまみ食い: 関数型とはプログラミン…

\override Voice.Accidental.color = #red