Ellieで入るElm入門

Learn Elm 0.19 through ellie-app.com and problems 簡単な課題をElmで解いて、Ellieに載せていくという方法でElmの勉強をする、というアイデアです。 Ellieはsaveすると、urlができるので問題と解答のセットをはてなに書いておけばいつでも見ることができ…

韓国国債価格上昇の理由

韓国経済 国債上昇 金利下落 株安 通貨安 説明して。 なぜ通貨安でインフレになって債権が下落しないのか。 通貨安でインフレになって債権は下落しているがそれはウォンの話であって、韓国の国債はドル建てなので下落しない。ということか。 この現代、かつ…

韓国はこれからどうなるか

韓国はこれからどうなるか。今の考え。 経済崩壊して左翼独裁政権が成立して、国民は一生懸命働いて良い国になる。 反日は変わらないので日本には不愉快だし危険だが、難民大量発生とか対馬に攻めてくるとかはないのでラッキーかもしれない。 つまり、北朝鮮…

VSCodeで選択範囲の改行を一度に削除する方法

VSCodeで選択範囲の検索対象を一度に削除する方法 1.マウスやキーで範囲を選択する 2.Ctrl-Hで検索置換を呼び出す 3.ファイル全体の検索対象が対象となっていたらAlt+Lで選択範囲内の数だけになる 4.選択範囲内だけが対象になっているのにAlt+Lを押すとファ…

Ubuntuで音がでない(解決)

わからないまま解決したので記事にするのはためらわれるのですが、とりあえず備忘ということで書いておきます。 環境はUbuntu 19.04。 いつものように自動でアップデートして、再起動したら音がでない。NetflixやYoutubeも声がでない。 設定のサウンドの出力…

Mac miniでウィンドウズキーボードでVSCodeを使う

Mac miniにウィンドウズのキーボードつないだ場合のキーバインド を=>のあとに付け足しました。 ほとんどはいままでCtrlを押していたのをウィンドウキー(Cmd)に読み替えるだけで同じ動作になりますが、一部違うものがあるので注意が必要です。 一般 Ctrl+Shi…

elm-uiから入るelm入門

ホームページelm-lang.orgにElmのチュートリアル(guide)があってそれはそれはすばらしいので、そこ以外で勉強するのはもったいないので、余計な入門は書かない方がいいのですが、思いついたのでしょうがない。 あとたぶんどんどん仕様が変わっているので他の…

Ubuntuがfreezeして立ち上がらない(解決)

環境 Ubuntu 19.04 いろいろいたずらしているとハードディスクから立ち上がらなくなってクリーンインストールせざるを得ないことが(たまに)あります。 たいがいのことはクラウドにバックアップしてあるのでデータがなくなることはないのですが、それでも不便…

Ubuntuでfrescobaldi(lilypond)でmidiの音がでない(解決)

環境ですが ubuntu 19.04 lilypond 2.18.2 frescobaldi 3.0.0 timidity(timidity++) 2.14.0 久しぶりにlilypondで楽譜を作ろうと思ってインストールしたら音が出ないのであせっていろいろ調べました。 sudo apt install lilypond sudo apt install frescobal…

Elmおもしろいね

elm-projects Elmという言語を知りました。 バージョンが0.19でまだまだ環境が整っていないのですが、やたらおもしろい。 発展するといいな。 elm-lang.orgというところにチュートリアルやドキュメントがあります。 おもにそれからのコピペが多いのですが、g…

VSCodeキーボード・ショートカット(Linux/Ubuntu)

一般 Ctrl+Shift+P, F1 コマンドパレットを開く Ctrl+P 任意のファイルに移動(クイックオープン) Ctrl+Shift+N 新規ウィンドウ Ctrl+W ウィンドウを閉じる Ctrl+, ユーザー設定 Ctrl+K Ctrl+S キーボード・ショートカット 基本編集操作 Ctrl+X 行削除 Ctrl+C…

Googleマップで3D表示ができない(解決 => 未解決)

以下の記事、その後トラブルが発生してますので、やらないほうがいいと思います。 18.04では一見解決したように見えて、その後18.10にアップグレードする際にドライバーとgnome display managerの相性がわるいのか started gnome display manger で止まって…

4Clojure問題の翻訳と解答

Clojureに4Clojure Problemsという問題集のサイトがあって、とてもよくできているので翻訳してみました。 GitHub - kalz2q/4clojure-jp: translation of 4clojure problems in japanese Markdownで書いて、README.mdにはりつけてあります。 問題はさまざまだ…

git cloneできない(解決)

何台かあるうちの一台のUbuntu 18.04マシンで、git cloneができないという事態が発生しました。 ~$ git clone https://github.com/syl20bnr/spacemacs.git Cloning into 'spacemacs'... ssh: Could not resolve hostname github: Name or service not known …

Google Home でスケジュールが聞けない

Google Homeで今日の予定は? と聞くと、 「3件入っています。最初のは午前7時からで、・・・」 とか言ってくれるのがとても便利だったのですが、先月くらいからカレンダーに予定を入れているのに聞けなくなってしまいました。 すいません、わかりません。 …

クイズ 連分数

PythonのSymPyのネットにあるチュートリアルを読んでいたら、連分数のクイズがありました。 連分数とは分数の中に分数があるような以下のような形の分数です。 from sympy import * init_printing() x,y,z = symbols('x y z') def list_to_frac(l): expr = I…

AnacondaとSageMathとJupyter

PythonやJupyterをインストールするのにAnacondaを使うと思いますが、するとSageMathが使えなくなります。問題は二つあって、 1.SageMathはPython2.7なのに対し、AnacondaはPython3である。 2.Anacondaと両立させるにはSageMathをローカルにインストールする…

質問: Ubuntu 18.04でSageMath

えっと、以下の記事はその後解決したので、別の記事にしてまた書きます。 基本的にUbuntu 18.04やSageMathがいけないのではなくて、AnacondaとSageMathが両立しないのが問題みたいで、解決方法も考えました。 質問: Ubuntu 18.04になってSageMathが動かない…

リュックサックに2リットルのペットボトルが何本入るか

筋トレをやるのにリュックをウエイト代わりにする、というアイデアがあります。 リュックサックは30Lとか書いてあるけどこれは容量であって、30リットルの水やウエイトが入るわけではない。 ネットで検索すると、ボックスタイプのノースフェイスの30Lのリュ…

Ubuntu 18.04でAndroid StudioとSDK

えっと、UbuntuでAndroid(スマホ)の開発ができるのか、と思って調べたらAndroid Studioが動くらしい。ということでやりはじめたらいろいろトラブルがあってそれでもSDK(エミュレーター)も含めて環境ができたみたいなのでとりあえずご報告。 本来はどんな…

プログラミング言語別四則演算+剰余べき乗+整数割り算

以前、プログラミング言語別四則演算+剰余べき乗というのを書いたのですが、それに整数割り算を付け加えてみました。 Ruby => + - * / % ** 整数割り算はそのまま 9 / 4 -> 2 C => + - * / % pow(x,y) 整数割り算はそのまま 9 / 4 -> 2 Python3 => + - * / %…

中東の国々を覚えよう

キルギスってどこあるの、とか、ドーハの悲劇ってどこの国だっけとかわからなくて普通ではないでしょう。 がんばって中東の国々の位置関係を覚えて下さい。 https://kalz2q.github.io/jsdemo/middleeast.html 今回はたったの23問なので、あっと言う間に覚え…

ギリシャ文字と数学記号を覚えよう

ギリシャ文字と数学記号を覚えるクイズサイトを作りました。 https://kalz2q.github.io/jsdemo/utfquiz.html 問題: ∂ 答え: 偏微分、デル、ラウンドディー みたいな問題が、82題出題されます。 5分で全部解けたら(覚えられたら)優秀だと思います。 ファ…

アメリカの州名を覚えるプログラム

アメリカの州名と位置関係を覚えたいと思ってクイズサイトを作りました。 https://kalz2q.github.io/jsdemo/usaquiz.html 問題 バージニア州の南 答え ノースカロライナ州 というような問題のセットが60題くらいあって、覚えたら「知ってた」ボタンを押すと…

フォント遊び

はろはろはろ。 こんな字で失礼します。 はてなのマークダウンでwebフォントをどうやって使うのが簡単か。 とりあえず。 <div style="font-family: 'tk92font', serif; font-size: 150%;">はろはろはろ。 <br> とかしています。 行替えがめんどうですね。 とか。 まあいいか。 えっと、きっかけはgoogleがNoto Serif CJKの全言語</div>…

Ubuntu 18.04のkernel update

きのう、Ubuntu 18.04のカーネルを4.15なのを4.16にアップデートする方法を https://linuxhint.com/upgrade-kernel-ubuntu-1804/ に書いてある、と書きました。 スクリーンショットもあるし、わかりやすいのでそちらを参照してほしいのですが、自分のために…

Ubuntu 18.04でWacomタブレットの設定

ひさしぶりにワコムタブレットIntuos4をUbuntuマシンにつないだら、その間にデュアルディスプレイにしているので、タブレットの左端が左のディスプレイの左端でタブレットの右端が右のディスプレイの右端になってしまいました。 Gimpでお絵かきするのにこれ…

名前のついた色を探す

HTMLで色を指定する際に名前で指定する方法とコードで指定する方法があります。 名前はたとえばグリーンとかイエローとかでコードは#008000とかです。 無限にある色の中で名前のついているのは140個あって、greyとgrayとかaquaとcyanとか同じコードに別名が…

Javascript function(){}とアロー関数()=>{}は違う

Javascriptでfunction(){}と書くのをアロー関数()=>{}と書ける、と知ってこれは便利。 かっこいいと使っていたら、場合によっては思ったように動かないことがわかりました。 次のサンプルプログラムをやってみて下さい。 https://kalz2q.github.io/jsdemo/th…

ubuntu 18.04へのupgrade

何台かのubuntu 16.04マシンを18.04へupgradeしました。 sudo apt update sudo apt upgrade sudo apt dist-upgrade sudo do-release-upgrade としたら、 新しいリリースはありません。 と言われたので、2,3日待ったのですが、ネットを調べたら、-dをつけて、…