latex で論理式、論理記号文を書いていて、テキストによって括弧 (丸括弧 parenthesis、角括弧 bracket、波括弧 braces) の使い方に揺れがあったりして、あとカンマの使い方、どういう場合に省略するのか。 と考えていてイプシロンデルタ論法の数式で比べよ…
記号 latex 備考 $\in$ \in 属する、元である、含まれる $\owns$ \owns 含む $\Longrightarrow$ \Longrightarrow ならば $\implies$ \implies ならば $\not \in$ \not \in 属すの否定 $\not \owns$ \not \owns 含むの否定 $\phi$ \phi 空集合 $\emptyset$ \e…
最近はてなブログだけでなく、GitHub や Colab でマークダウンで数式入りの文章をたくさん書いているのですが、マークダウンの中で空白行をどうやって入れるか、数式を書くときに使うドルマーク、dollar sign をどうやってエスケープするかについて。 markdo…
英語のテキストを処理する際に、長い文字列の段落を処理しやすいように短い文字列に分割したいとします。 ピリオド+スペースをピリオドと改行にするとかだと、長い文字列と短い文字列がまざってしまうので、60文字とかで切りたい。 その際、できれば単語の途…
私の場合 alias chrome="/mnt/c/Program\ Files\ (x86)/Google/Chrome/Application/chrome.exe" で開けるようになりました。 ~/.bashrc に入れておけば、適当に書いた html ファイルを chrome temp.html として見ることができるようになります。
アラビア語のフォントを大きくしたい。 مقديشو こんな感じか。300% です。300% にしてやっとバランスが取れているよね。 モガディシオ 発音は モくディーシュー moqdishu で く q のおとはのどの奥の k の音なのでひらかな表示。 الصومال アッすーマール ソ…
はてなはMarkdownでもHtmlは書いて表示することができる。 SVGはHtmlの規格なのでただ書くだけで結果が表示される。 このソースは <svg width="200" height="200" xmlns="http://www.w3.org/2000/svg" viewBox="-10,0,200,200"> <defs></defs> <circle cx="77.474" cy="111.072" r="80" stroke="green" stroke-width="8" fill="yellow"></circle> </svg>
明治の板チョコを食べるのに、一枚 50g 全部食べると 279kcal 糖質 25.9g でちょっと重い。 おやつは 200kcal 以下に収めないと食事を調節しなくてはならなくなって本末転倒になる。 200kcal だけ食べたいので、分包しておくことにした。 50g / 279kcal * 20…
例えば、 10 VSCodeで 20 拡張機能を使わずに 30 連番をふる というのを書きます。 VSCodeで 拡張機能を使わずに 連番をふる という文章に連番を10, 20, 30とつけるとすると、別途番号を用意します。 10 20 30 これを選択して、Ctrl-Cでコピーして、連番をふ…
ブリジストンの電動アシスト自転車で、電源オンの状態で、アシストオフにして、ギアをトップにして、立ち漕ぎで加速、後ろブレーキで回生充電、を繰り返せば充電ができる上にトレーニングになるのではないか。 アシストは上り坂でしか使わない、というアイデ…
Colabの環境にg++(gcc)があるので、コードセルにC++のプログラムを書いて%%writefileで保存してg++でコンパイルして実行するというやりかたにすればインタラクティブにC++が学べる!!!! というアイデアでためしにw3schoolsのC++ TutorialをColab化してみまし…
100 numpy exercises というのがあって、これが素晴らしいのですが、問題と解答を Colab 化するのをやっています。 まだ途中ですが、とりあえず半分 50 題を越えたのでご紹介。 https://colab.research.google.com/github/kalz2q/mycolabnotebooks/blob/mast…
はじめに Doing Math with Python: Use Programming to Explore Algebra, Statistics, Calculus, and More! Amit Saha を Colab でなぞりながら読む。 というのをやっていて、とりあえず最後まで行ったのでご紹介。 元の本の章立ては次のようになっています…
マークダウンでドルマーク $ は LaTeX (MathJax) で数式を表現するので使われてしまうので、バッククォートで囲んで逃げるか、HTML で表現するしかありません。 HTMLでの表現を調べたので備忘です。 $ => $5 ドル が確実か。 $ => $10 ド…
電子マネーについて。 なんとかペイ系のシステムは、銀行口座からのチャージを自動化する場合不正は避けられない。 すでに発覚しているのは氷山の一角。 中国人は自動チャージなどせず、スマホ経由ではあるが自分でチャージする。 日本では自動チャージでな…
はじめに Colabで遊んでいます。 数直線number lineをmatplotlibで描いて見ました。コードセルにimport matplotlib.pyplot as pltとして書いて、実行すると描画がされます。svgにも吐き出せたので、ここではsvgで貼り付けました。 コード まずは両端を矢印に…
Ubuntu 20.04にして、Netflix もちゃんとみれて音も出ていたのですが、midiフ ィアルを鳴らすのに使っていた timidity が使えなくなっていて timidity sample.midi というように音を鳴らしていたの鳴らなくなっていました。 そこで調べると、いまは fluidsyn…
はじめに GitHubとColabの連携はわかりました。 だいたいわかったと思う。 とりあえず使えています。 で、これをはてなとかQiitaの記事にする場合、Colabのファイルメニューにマークダウンに変換がないみたいなので、一旦パソコンで jupyter nbconvert --to …
SVG画像を貼る実験の続きです。 毎日1枚くらい描きたいなぁ。 絵を貼るだけでなく、文章も必要ですよね。 考えます。 どうやって描いたの？ とか質問があるとうれしい。 今回は div style="display:grid; place-items:center" というのを使ってセンタリング…
test test test ipad affinity deisgner のデザイナーペルソナでベクトルで絵を描いて、書き出しペルソナでsvg出力したテキストをコピーしてはてなのMarkdown編集で貼り付けました。 サイズはsvg widthで指定して、全体を div で囲んで div style="text-alig…
はじめに スマホの語学アプリにDuolingoというのがあります。 遊んでいるうちにどんどん語学が身につくというすぐれもの。 これがいいのが音がついていること、無料で使える範囲が広いこと、英語経由になってしまうけどたくさんのめずらしい言語があること、…
新型コロナウイルスで人口あたりの死亡率が西ヨーロッパとアメリカで高くてそれ以外では低い。 中国、中南米、アフリカ、イランを含めてもヨーロッパとアメリカの大量の死者数と比べると桁違いです。 この理由は交差免疫以外には考えられない。 つまり、新型…
使い方 ウェブアプリです。ブラウザーで https://kalz2q.github.io/gakufu005/index.html を開くと曲リストが表示されます。ランダムなので、毎回順序が違います。 適当な曲をクリックすると楽譜画面になります。 右上に音を出すためのコントロールボタンが…
1. はじめに ellie-app.comというサイトにElmで書いたプログラムを載せると、左にプログラム、右にその結果のウェブページができます。 この仕組みを利用すると、いろんな課題を問題と解答のセットでいつでも見ることができるので、明示的に学習を進めること…
はじめに いま何やってたっけ？ ここどこ？ 私は誰？ という状況のとき、新しいファイルをリストにしたいとおもうことがあります。 ls でいいじゃん、なのですが、場所によってはファイルの数が膨大だったり、ディレクトリー(フォルダー)の階層が深くてどこ…
はじめに Elmが0.19から0.19.1になって、以下のリンク先のElmプログラムが全滅してしまいました。 moduleの命名法が間違っているって。なるほど。 作り直しますのでしばらくお待ち下さい。 Learn Elm 0.19 through ellie-app.com and problems 簡単な課題をE…
Elm 0.19でEvanczさんのTodoMVCを動かしてEllieに載せました ソースとデモはこちら https://ellie-app.com/6K25LFpDjFGa1 Firebaseはテストモードでauthもsecurityもしていないので、だれでも読み書きできて、誰でも見れます。 壊せます。 使ってみて下さい…
ElmでTodoリストを作りました。 ソースとデモはこちら。 https://ellie-app.com/6D8hKZwjy5ja1 (Qiitaに載せたのと同じものです) 簡単に解説します。 Addで追加されて、Deleteで削除します。 ということは一応CRUDが実現できているのかな。 データベースにFi…
えっと。結論から先に言うと、ubuntu 19.04でnvidiaのグラボが使えています。 nvidiaのグラボが刺さっていると、19.04はクリーン・インストールでも、18.04や18.10からのupdateでも起動ができなくなります。 起動ができなくなってからの解決方法は、一旦電源…
韓国経済 国債上昇 金利下落 株安 通貨安 説明して。 なぜ通貨安でインフレになって債権が下落しないのか。 通貨安でインフレになって債権は下落しているがそれはウォンの話であって、韓国の国債はドル建てなので下落しない。ということか。 この現代、かつ…
