カテゴリー
Haskell PHP SQL ただの現状記述 (Daily Activities) コンピューター (Computer) プログラミング (Programming)

Haskellに惑わされ – 6

例えばこうです 僕が良く Web programmingする時に使用する PHP言語ですが、database言語であるSQL (僕が使用しているのは open sourceの MySQL言語です)と連携してSQLサーバーよりデータを取得し、それをサーバー内で PHP言語により加工し、その結果を http通信でクライアント側 つまり、一般ユーザーに送っているのですが、その部分の肝腎の SQL serverからの PHPでのデータ取得部分の一例はこんなものです

$row_session = $stmt_session->fetch( PDO::FETCH_ASSOC );
$stmt_role = $pdo->prepare( "SELECT MAX(`created`) FROM `role_tbls`;" );
$stmt_role->execute();

ここで出てきましたよね この部分です

"SELECT MAX(`created`) FROM `role_tbls`;"

この部分を良く見ると、

`created` や`role_tbls`

のように何だかさっきのもの (`)ではさまれていますね これは実は SQL構文規則では不要なものです しかしながら、この列が SQLの列名であることを分かりやすくするためにわざわざ用いているのです

つまり、 (`)というものはプログラム解析上では何の意味も持たない飾りだということです

従ってこの部分に(‘)というものを使用すると途端に文法エラーとなりプログラムは走りません これと同様のことが Haskellでも起こるのです

カテゴリー
Haskell Mac λ計算 ただの現状記述 (Daily Activities) コンピューター (Computer) プログラミング (Programming)

Haskellに惑わされ – 5

さて Haskellで整数mと nを足す関数 add’というのを作りましょう もちろん一人ではできないので、書籍を読みながらですが・・・

Prelude>add' = \m n = m + n :: Int

ということになりますが、何やら訳のわらない記号が出てきました そもそも addという関数名に何で ‘ というものがついているのでしょうか? これは何と呼ぶのでしょうか Macのキーボードでは 7のキーをシフトして押すものです これはどうやら「アポストロフィー」と呼ばれるものです

間違いやすい記号で Macでは「@」のキーをシフトしながら押すと出てくるものでこれはどうやら シングルクォーテーションマークと呼ばれるものです

見かけは似ていてもプログラムの中で使用する場合には全く意味が異なりますので注意ですね!!

実はこれだけのプログラムを書くだけでも落とし穴があり、大抵の人はそこで早期に脱落するのです、たとえば

  1. そもそも’なのか `なのか どちらなのか
  2. 何で’なんて使うのか
  3. \という変な傾きの棒はどのように打ち込むのか
  4. :: Intとは何なのか

こんなところですね

これについては そろそろ外来診療せねばならないのでまた後でね

カテゴリー
Haskell Mac ただの現状記述 (Daily Activities) コンピューター (Computer) プログラミング (Programming)

Haskellに惑わされ – 4

なかなか難しい局面に直面です

Haskellを走らせるのにどうやら stackというツールを最低でも使用すべきだ、と読んだので  http://www.haskell.org/ghc/ より haskellプログラムをインストールしたのです

インストールは簡単であり、僕の現在の場合、GHCi, version 8.6.3がインストールされました

その後読んだ文章では、どうやら stack というツールをインストールすべきだと書いてあったので、今度は

$brew install stack

として stackをインストールしました そして、訳の分からないまま

$stack setup
$stack path
$stack stack exec ghci

として stackの下で ghciを走らせると何と以下のように

GHCi, version 8.6.4: http://www.haskell.org/ghc/  :? for help
Prelude>

と出ました そうなんです versionが新しいものが走っているのです、では? では? 最初に直接インストールしたものは何処に??? どうやってその無駄な古いものを消せばよいのか???

なんだかさっぱり分からない

カテゴリー
Haskell コンピューター (Computer) プログラミング (Programming)

Haskellに惑わされ – 3

今回サーチして見つけたのがこのサイトでした なかなか簡潔に Haskellのイロハが記載されて助かりました このサイトではまったのが次のプログラム

letTest1 x = let a = 3
                 f v = v + 2
             in do a * f x

これを例えば letTest1.hsとしてファイル・セーブするのです そしてghciを立ち上げて compileすれば、letTest1という関数が認識されるので、ここで例えば

*Main>letTest1 2

と打ち込めば、この場合には 12という計算結果が戻ります しかし最初はこれがどうして 12になるのか全く分かりませんでした そもそも let文の中にある f v = v + 2 という式はどう解釈するのか? という問題です 色々と考えた結果、fは内部関数名、vは内部引数名であることに気づきました

従って、letTest1 2という命令を出せば、その定義で、2という実引数は xという引数に相当するので、最後の文である in do a * f xという文の中の xが 2に置換され、fという内部関数が実行されます その結果、内部的に f  = 2 + 2となりf という関数の戻り値は 4となります そして aは 3なので letTest1の結果は、3 * 4で 12となります

ここまで自分で自分に説明してようやく理解できました

カテゴリー
Haskell コンピューター (Computer) プログラミング (Programming)

Haskellに惑わされ – 2

最近相当に頭がバカになっている そんな気がするのです タイピング速度も低下し、頭の回転も遅い、そんな自分に嫌になります 何が原因か? うーん 歳かなあ いやいやそんなことではない 自分が怠惰になっているからなのだ そこで、こういう時の一番の気付け薬である Haskell programmingに戻りました うーんずいぶんと遠ざかっていましたね だって難しいんだもの こんな言語ってないよ 本当に 普通のプログラミング言語とは全く違うのです

僕だって色々な言語をこれまでいじってきたのでだいたい少しかじれば少なくとも Hello World!ぐらいは画面に出せるし、あるいは 1から 100までの足し算だってすぐにその言語でプログラム書けるようになりますよっ

でも、Haskellは別 全く分からない どうすればいいのか全く分からない まず最初の関門がその実行環境です

僕が現在「これが一番いい」と思っている環境は VisualStudio Codeをインストールして、その中で terminal (Bashなど)を立ち上げることです そうすると Haskell programを VS codeの中で書いて、そこで VS code内の terminalより実行できます

まず今回はまったのは 本に書いてあったサンプル・プログラムである 1から nまでの合計を求める関数です(再帰版)

$ghci

これによりHaskell正当のコンパイラ/インタプリタである Glasgow Haskell Compiler/Interpreterが立ち上がります そうすると僕の場合以下のようなプロンプトが terminalに出力され、Haskellのコマンド待ち、となります

GHCi, version 8.6.3: http://www.haskell.org/ghc/  :? for help
Prelude>

この環境はいわゆるREPL ( Read-Eval-Print Loop)というものなので、この Prelude>のコマンド待ち部分に入力することにより Haskellを実行できます ここでまずこの REPL ( Read-Eval-Print Loop)を用いて 本にあるようにプログラムを打ち込みます そうすると驚愕の結果となり、瞬時に勉強心を打ち砕かれます それは

Prelude> mysum 0 = 0
Prelude> mysum n = n + mysum (n - 1)
Prelude> 
Prelude> mysum 0
*** Exception: stack overflow
Prelude>

というような結果です 要するに本の通り打ち込んでも stack overflowという無限ループに陥りクラッシュするのです とんでもない とんでもない

僕は真剣に本に対してクレームをしようかと思いましたよっ しかししかし これをファイルとしてセーブするのです 試みにこのファイルを mysum.hs というものにしますね はい$lsすればセーブされたことがわかりますね

$ls -l
-rw-r--r--   1 transradial  staff       64  7 17 09:51 mysum.hs

そして再び Haskell を立ち上げます

$ghci

そうするとHaskellの REPLに入り

Prelude>

という待受になります ここで 次の GHCIコマンドによりさっきセーブしたファイルを読み込みます

Prelude>:l mysum.hs

このようにするとファイルが読み込まれ、コンパイルされて以下のように応答してきます

[1 of 1] Compiling Main             ( mysum.hs, interpreted )
Ok, one module loaded.
*Main>

今度は *Main> という待受になり、自分の書いたプログラムが正常に作動する状態になっているのです ここで

*Main>mysum 0
0

となりますね、つまり 0 (Zero)を引数として mysum関数を呼び出したところ、結果が 0である、と出力されたのですね では同様にして 100を引数として呼び出せばどうなるでしょうか?

*Main> mysum 100
5050

はいきちんと 1から100までの合計値 5050が出力されました

要するに、REPL環境で打ち込んでもダメなのです これが分かるのに相当に時間を浪費しました しかしその副作用で頭脳回転が早くなりましたね

カテゴリー
Haskell TAVI (経大動脈的大動脈弁植え込み術) ただの現状記述 (Daily Activities) プログラミング (Programming) 日本国内 (Japan Domestic) 鎌倉 (KAMAKURA)

本日よりJTVT開催です

残念ながら外は結構激しい雨です まあものは考えようですが、これであれば湘南に来られる観光客は少なく、その結果、江ノ電もそんなに混まないでしょう

というのも、本日より僕が会長をする JTVT 2019という日本国内最大の心臓弁を中心とした心疾患に対するカテーテルを用いた治療法に関する学会がこの鎌倉プリンスホテルでいよいよ午後 14:00より開催されるのです そこで1番の問題は観光客が殺到し、江ノ電による公共交通が遮断されることでした でもこの雨であれば、その心配は無用でしょう

昨夜 Martin Leon先生も羽田空港経由でホテルに到着されました 全世界の心血管インターベンション界の至宝であられるLeon先生が無事到着され、それだけでも安堵し、満足です

まあ、あとは学会が成功するか否か、それは天命のみぞ知る、そんな気分です この学会が終了すれば、すぐに次の準備に移らねばなりません

そんな中、何回目かの挫折していた Haskellに再びアタックです やはりどうしても Monadという概念を心から理解したいのです あと Haskellとは関係ありませんが、 Tensorという概念も心から理解したいですね どなたか手取り足取り教えていただければ何とかなると思うのですが、独習では困難です

カテゴリー
Haskell TAVI (経大動脈的大動脈弁植え込み術) コンピューター (Computer) プログラミング (Programming)

またまた Haskellに迷わされ

さて本日は順調にTAVIが進んでいます 僕自身も 1st operatorとして EvolutProを用いて一例あっという間に治療終了しました 完璧なできでした

さて、その間に頭脳の一部、というか手技の合間に Haskell programmingを考えています 相変わらずとても難しい あの例の、「すごいHaskellたのしく学ぼう!」という有名な書籍で始めた勉強も途中 20%程度進んだところで暗礁に乗り上げてしまいました 何が何だかさっぱり理解できない

そこで今度はこの有名な入門書から、日本人が書いた本「Haskell入門 – 関数型プログラミング言語の基礎と実践」に切り替えたのです

もちろん最初から読み始めたのですが、そうすると前の本で勉強した部分も再び読むので何となく理解が進みます でもやはり暗礁に乗り上げたのです 現在、

$ghci

あるいは

$stack ghci

というコマンドで GHC interpreterを走らせてテストしているのです どうしてもうまく行かない!!

Prelude>:{
Prelude>|f x = case x of n | n `mod` 2 == 0 -> putStrLn "even"
Prelude>|                 | otherwise -> putStlLn "odd"
Prelude>|:}

これで compile errorが出るのです!! ちなみにそのエラー内容は

:40:3: error: parse error on input ‘|’

というものです まさかまさかと思ってやってみました 今度はこのように入力したのです

Prelude> :{
Prelude| f x = case x of n | n `mod` 2 == 0 -> putStrLn "even"
Prelude|                   | otherwise -> putStrLn "odd"
Prelude| :}

そうすると何とエラーが出ずに

Prelude>f 10
even
Prelude>f 9
odd

となり作動しました 要するに”|”という縦棒までの文字数が上下で同じでないとエラーになるのでした 何でもこの縦棒のことを”ガード”と呼ぶらしいです これで論理構造を表すのですね 何だか Pythonのインデントのようです でもここに辿り着くのに30分かかりました 何しろ Kindle本ではこの部分縦棒が揃っていないのですから・・・

カテゴリー
Haskell ただの現状記述 (Daily Activities) プログラミング (Programming) 外国訪問 (Foreign Visits)

まったく駄目な自分

もう嫌になってしまう 貫徹するのが苦手な自分に嫌になってしまう 明らかに若い頃と比べると何かに一心に向かって進む強い気持力が低下している すぐにあっち あるいは こっちと目移りしてしまう

もちろん、医師としての自分の、いやこれで医師なのだろうか? 今どこかの現場、あるいは疫病が蔓延する地域に放り込まれた時、あるいはそこまでではなくて通常の日常診療に放り込まれた時、そんな時自分は医師として何らかの善を成し得るのだろうか? 既に医師 –> 内科医 –> 循環器内科医 –> インターベンション専門医 –> 経カテーテル的大動脈弁植え込み術・経皮的僧帽弁接合不全修復システム (MitraClip)・慢性完全閉塞・経橈骨動脈的冠動脈インターベンション専門医 としてどんどん分化し、専門バカになっている自分に汎用的な場面で何か医師としてできるものがあるのだろうか? いや翻って考えれば、そんな風に脱分化して行くことが、本当に正しいのだろうか?

そんなことを考えてしまう 何故そのようなことに至ったか? 数週間前、純粋関数型言語 Haskellに踏み込み、分からないながらもテストプログラムで練習繰り返していた自分がいました しかし、その後 Angularに目移りし、テスト練習プログラムを勉強し、Kindle本も何冊も途中まで読んでいた自分がいました

それが今朝 6:30AM 出勤途中、いつもPodCastで医学のこと、プログラミングのこと、素粒子のこと、相対性理論のこと、それらを耳学問で聞きながら歩いて 30 – 40分 その間それなりに勉強しながら出勤するのですが、AMP (Accelerated Mobile Pages)に心を動かされたのです でも新たな勉強が必要だし、ましてや自分にそんな能力あるのか否か? まったく自信がありません そもそも自分は何をしたいのだろうか? 一昨日も馬鹿なことしました

一昨日札幌から羽田に夜到着し、仕事の打ち合わせで大森蒲田の昭和の雰囲気が色濃く残る横丁の寿司屋さんに入りました カウンターのみ 6名しか入れない寿司屋さんです 若い大将は寿司に命を賭けている そんな雰囲気がありありです そこでおいしい寿司を食べ、日本酒を飲みました 隣にはご主人がスウェーデン出身、奥様は日本人の蒲田在住10数年のご夫婦が座っておられました その後何となく意気投合したのです。

スウェーデンと言えば三菱重工業に相当する世界的大企業 SAABで有名ですが、この歴史的な王国は独自の文化に色づいています

スウェーデン王国王宮の衛兵交代式

そうPCIの分野では SCAAR Registry
(Swedish Coronary Angiography and Angioplasty Registry)

が有名ですよね もうかれこれ10年ぐらい前(正確には2007/11/25 – /28)に自分でストックホルムの大学病院で治療した慢性完全閉塞患者さん二例がこの SCAR registryに登録されましたね

ストックホルムでの慢性完全閉塞治療
講義をしています
立派に手技していますね
十分に討論しながらの手技教育

さて、もう一つ有名なことはもちろんノーベル賞ですよね でも、それよりも僕にとっては心に残っているのが、有名な小説より起こしたシリーズ映画である「ドラゴン・タトゥーの女」シリーズなのです この映画の独特の「ああスウェーデンという国はこのようなところなんだな」と思わせる雰囲気あるいは文化、すごく印象深い映画です。そして偶然なことに今週ダラスからロスに乗り継ぎで帰国する途中の American Airlineでこの映画の四作目である「蜘蛛の巣を払う女」が、飛行機の中でやっていて運良くそれを見ることができました。すごく印象深い映画でしたよ。

さて、その蒲田の寿司屋さんで出会ったお二人ですが、ご主人は英語と(もちろん)スウェーデン語しか話せられないのですが、僕はついついこれらの映画について話しました。やはりスウェーデンの方にとってもこれらの映画シリーズは有名であり誇りでもあるようでした。でもまだ「蜘蛛の巣を払う女」は見られていませんでした。いやあどこでどんなつながりがあるかわからないですね。色々な知識を絶えず蓄えるのはとても重要ですよね。

そうそう何で駄目な自分か? それはすっかり意気投合してお酒をたくさん飲み、その帰りに iPhoneを紛失したことなのです でも、今日の午後戻ってくる予定です いんあ、世の中まんざらでもありませんね。

カテゴリー
Haskell MitraClip TAVI (経大動脈的大動脈弁植え込み術) ただの現状記述 (Daily Activities) プログラミング (Programming)

ようやく歩けるように

さてさて登山の日から丸5日経過してようやくまともに歩けるようになりました 未だ筋肉痛は残っていますが、階段も登れるようになりました

二日前の火曜日はTAVI 3件 + MitraClip 1件でしたが、 16:00に終了しましたね 経皮的僧帽弁接合不全修復システム (MitraClip)の場合、僕は座っての手技が多いので足の筋肉痛は関係ないのです

さて Haskellまたまた迷いが出てきました この年齢になると本を読んでもなかなか頭に入らず、何回も振り返って確認する作業が必要なのですが Kindleで記号を検索するのはなかなか効率的では無いのです それで時間がかかります Haskellの場合記号に意味がある場合が多いので それが十分に頭に入るまでは苦労しますね

カテゴリー
Haskell コンピューター (Computer) プログラミング (Programming)

代数的データ型

何やら訳も分からずに使っていた data という型ですが、これは代数的データ型 という特別な「型」なのだそうです

それを実現しているのは Preludeという Haskellの Interpreter/Compiler system GHCiに付属する標準的なライブラリー (この呼名で正しいのか知りません)のようです 何だかさっぱり分かりません つまり

data Human = Human String derived Show

というのは data型から発生したHumanを定義して、それはString型の変数を持ち、Showという性質を引きずる ということのようです

ものすごく曖昧な理解です とにかく難しい