Haskell Advent Calendar 2020，13日目の記事です． はじめに 夏から楽器の練習を始めましたが，如何せん音痴なので，楽譜を読んでも正しい音程やリズムがわかりません．これでは学習が進みませんね． そんな障害をツールで解決するのがエンジニアです． 皆…

脾臓摘出目的 幼少期に摘出したはずの脾臓が少なくとも2個復活し，血液ポンプとしての心臓にかかる負荷が本来より高くなっている．脾摘することで心肺への負担を軽減できれば，肺高血圧症の状態を改善できる可能性がある． この数年，胃の静脈瘤・動脈瘤破裂…

動機 マーク式の資格試験などに使える，クイズアプリケーションを作りたい． しかしyesodなどで一からweb作るのは面倒だし，そもそもyesodは大量のメモリを 消費するので手持ちのVPSでは走らない... web APIとして軽量に，しかもさくっと作りたい！（そうし…

先日，ATCoderの問題を解けずにAC (Accepted)が獲れなかったら，代わりにGVS法で頭部にAC電流を流すことで， 確実にACが獲できるシステム"GVSCoder"を開発し，動画にして公開しました． GVSCoderの中身はHaskellで書かれており，その時にはまったhttpリクエ…

2020/7/25-27にかけて石ふしぎ大発見展が開催されています． 日本・世界の各地の鉱物が大阪はOMMビルに集うイベントで規模としてもそれなりに大きいイベントです． 毎年，このイベントの傍ら，同会場で鉱物鑑定士試験が実施されています． 級は1級-8級まであ…

連休中にさくっと作れるアプリケーションを探していて，高校時代に友人がHSPで書いた暇潰しゲームを思いだしました．Glossなら一度ゲームを作成したこともあるので割とすぐできるだろうと書き始め半日位でできました． ソースコードは下記にあります． https…

Haskellでチャットサーバを立てる記事（ Haskellでチャットサーバーを建ててみた - Qiita ）を読んで，私も試してみたくなりましたこの記事のプログラムは昔MakerFaireに出した時にも参考にしていて，一度websocketを使った通信は書いたことがあるのですが，…

暑すぎて熱中症になりそうです． 私は自宅ですが，三密が満たされている場所ではもっと暑そうです． 密といえば，立方最密構造ですよね！！ 三密が禁忌とされる今，Haskellの3DCGライブラリnot-glossを使って，金属単結晶とイオン結晶体のビューアを作成しま…

鉱物とは，wikipediaによると， 地質学的作用により形成される、天然に産する一定の化学組成を有した無機質結晶質物質と書かれています．先日，3Dプリンタと低融点金属を使って，なんちゃって水晶仮晶を地質学的作用を用いずに形成したので，その理由と方法…

先日，ふと思い立って，使ったことのない言語を触ってみたくなりました． ただHello Worldするのは面白みがないので，AtCoderのA,B問題を解いてみました．触ったことないと言いつつ，F#やFortranも含まれているので，触ったけれど記憶が薄れた言語も含まれて…

少し前の記事でIUT理論に関する書籍を読んでいましたが，その中で楕円曲線の対称性を利用したという記述がありました．また，楕円曲線の持つ特殊性から暗号分野にも応用されていると． 恥ずかしながら私はRSA暗号・AES暗号あたりしか触ったことがなく，楕円…

療養中，特にやることもなく（医師曰く，”只管横になって体を休めること！”），仕方がないので小説を読み漁っています． ジャンルはSFとミステリーが多くて，小川一水さんの本をはじめとして色々読んでいるのですが， その中で井上真偽の「恋と禁忌の術語論…

先日，京大の望月教授が提唱したIUT理論の論文が8年越しにacceptedされ，ABC予想についての証明が正しいと話題になった．最初私は，ABC予想を解いたのだと興奮したものの，よくよく調べると，ABCについて取り組んだだけではなく，IUT理論(Inter-universe Tei…

先日妹が結婚し新居での生活を始めた． 新生活に当たり欲しいものがないか聞いたところ，下記スマートリモコンをお願いされた．Nature スマートリモコン Nature Remo ネット経由でアクセスし，赤外線で家電を操作してくれるらしいです． ちなみに，amazon ec…

kicadで自作ライブラリを使っていると，3D viewにしても画像のように実際の形状を知ることができず，部品同士の干渉の不安を抱えながら進めていくことになる． 基盤加工機でガリガリ削る分には極小パターンは作成できないため集積度が上がらずあまり問題にな…