K's Atelier

Melodics(316日目):1/16 Beat Rudiments (Single Stroke Groove) (Grade 14)

Finger Drum:1/16 Beat Rudiments (Single Stroke Groove) (Grade 14) BPM83までいった。どうしても指が混乱する。 もう316日目ですか。1年経ったらMASCHINE MK3にするとか思っていたけれど，MPD218がまだ全くもって元気だなぁ。

2024/09/30 21:41

Melodics(315日目):Forget Me Nots - Drums (Grade 5)

Finger Drum:Forget Me Nots - Drums (Grade 5) ちょっと簡単に終わらせすぎてしまった。おしゃれな良い曲なのでもう少し頑張ろう。Slap Bassが好きだ。 www.youtube.com

2024/09/29 22:02

Melodics(314日目):Forget Me Nots - Drums (Grade 5)

Finger Drum:Forget Me Nots - Drums (Grade 5) 新曲かな。いい音。

2024/09/28 23:15

Qiita「Chatbot on Mattermost using Bedrock」

qiita.com MattermostでChatbotを動かせるようになった。これであとは生成AIそのものの研究に移れる。

2024/09/28 23:02

Melodics(313日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) 本日はBPM103。 久しぶりにVOXのアンプを引っ張り出して，テレキャスにつないで遊んでいた。マルチエフェクターより音が良い。下手な私でもきちんと聴こえる気がする。

2024/09/27 21:23

受講者の作業を充実させる

受講者が何考えてるのかを知る手段を増やしたい。これまで当たり前のように解説していた部分についても，もっと受講者が手を動かした方がよい。 例えば，topicごとに振り返りをactiveにやってもらうとか。研修目標に「●●を説明できること」とあるなら，PREPの穴埋めテンプレートを渡して，P＝Point（結論）「この章で私が大事だと感じたのは『____』です」R＝Reason（理由）「なぜかというと『____』だからです」E＝Example（事例、具体例）「具体例としては『____』があります」を埋めてもらって，チャットに書き込んでもらう。これなら汎用的なので，テンプレさえ用意すれば大抵の解説中心…

2024/09/27 14:45

Melodics(312日目):Cosmic Girl - Drum Part (Grade 8)

Finger Drum:Cosmic Girl - Drum Part (Grade 8) BPM120になると操作が安定しない・・・。それはそうと，もう300日を超えていたのか。

2024/09/26 22:12

Mattermostで日本語検索

Mattermostは標準では日本語の検索ができない。indexが日本語に対応していないから，のようだ。 ”System console / Experimental”からBleveを有効にすることで，日本語検索ができるようになる。 Enable Bleve for search queriesも有効にしているのだが，こちらの効果はまだきちんと確認していない。

2024/09/26 20:25

Mattermost CORS

Mattermostをインストールした直後，以下のエラーが定期的に発生するようになる。 ”System console / Integration”からCORSを設定することで解決する。 この欄が空欄になっていると，CORSが無効になる。この状態ではWebsocketが使えないので，Mattermostの通知機能が使えなくなるのだ。適切なドメインを設定しよう。

2024/09/26 20:20

Autostart Moodle using docker-compose.yml

docker-compose.ymlを使って，サーバ起動時に勝手に起動させるにはどうすればいいのか，と思っていたら何のことはない，「restart: always」をつけるだけだった。 Copyright Broadcom, Inc. All Rights Reserved. # SPDX-License-Identifier: APACHE-2.0 services: mariadb: image: docker.io/bitnami/mariadb:11.4 environment: # ALLOW_EMPTY_PASSWORD is recommended only for develo…

2024/09/26 16:01

Melodics(311日目):Cosmic Girl - Drum Part (Grade 8)

Finger Drum:Cosmic Girl - Drum Part (Grade 8) 久しぶりに，昔進められなかった曲にもどってきた。 今日はさらに久しぶりにguitarsの弦を交換した。まとめて何本も交換すると作業効率は上がる，ということが分かった。もっとまじめに練習をしてあげたい。

2024/09/25 22:36

REST API on Moodle

Moodleを使っていると一番困ることはGUIの不安定さだ。command lineで操作できないとどうにもやりにくくてお話にならない。 というわけで，改めてREST APIの使い方を調べた。 このあたりの操作を追っていけば，REST API用のユーザの作成，REST APIの有効化，Tokenの発行，まではいくのだが，肝心のREST APIでのアクセス方法の情報が間違っている。 そもそもMoodle内のtest the serviceのURL指定が間違っていて動かない。さらに・・・Log in to the site New Site おそらく，参照先にもあるようにAuthorizati…

2024/09/25 21:50

Melodics(310日目):Elephant - Kick and Snare (Grade 3)

Finger Drum:Elephant - Kick and Snare (Grade 3) たまにはGradeの低いものを。あまり難易度の高いものばかりやっていると自分の状態が分からなくなるので。これ，(Melodics的に)新曲ですね。

2024/09/24 20:50

Melodics(309日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) ☆3つでBPM87。このくらいになると，おかしな手癖を矯正するために頻繁にBPMを調整することになる。慌ててやってもマズい運指がくせになるだけ。

2024/09/23 22:00

Melodics(308日目):Step Groove (Grade 14)

Finger Drum:Melodics(307日目):Step Groove (Grade 14) 2小節，BPM85まで来た。このStepはこの2小節ができれば，あとはその展開なのだ。

2024/09/22 20:38

AWS CloudFormation templates for Docker compose

AWSでDocker composeを実験するための実験環境をCloudFormationで作る。 まずSession Managerに接続するためのInstance Profileを作っておく。これだけを分離するのは，これだけがIAMを操作するから。実行時に実行確認を求められる。 AWS CloudFormation template that create an IAM Role and an InstanceProfile for Session Manager · GitHub 続いてVPC。Public subnetとPrivate subnetを作っておく。NAT Gatewayも…

2024/09/22 17:11

MariaDB on Docker

MariaDBをdocker-composeで立ち上げる。# ./docker-compose.yml services: db: container_name: db restart: always build: context: ./db environment: MARIADB_ROOT_PASSWORD: admin_pass MARIADB_DATABASE: database_name MARIADB_USER: db_user MARIADB_PASSWORD: db_user_pass TZ: 'Asia/Tokyo' volumes: - ./db/data:/var/lib…

2024/09/22 16:20

Melodics(307日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) 2小節分loop練習。BPMは50程度。集中力が必要。

2024/09/21 21:29

Melodics(306日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) 次のStep。BPM89までいった。改めて，細かいbeatがshuffleしていることが分かる。これはムズイ。

2024/09/20 22:03

Melodics(305日目):Step Groove (Grade 14)

Fingert Drum:Step Groove (Grade 14) Passした!BPM135に何とか到達できた・・・やればできるもんだ。

2024/09/19 21:38

Melodics(304日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) BPM127。着実に上昇している。

2024/09/18 22:44

AWS Certified Advanced Networking – Specialty

うわバランスわるっ。これでCertifiedは13個。最近追加されたAI系2つがこれに加わるとそれだけで15か。多いな。

2024/09/18 20:35

Melodics(303日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) BPM119まで来た・・・規定のBPMは135。遅いBPMのうちからきっちりとメトロノームのタイミングに合わせること。メトロノームのウラを意識することで，分解能をあらかじめ上げる。どこかで誰かが書いてたけど「練習時間の長短ではなく，課題意識を持つことが大切」。

2024/09/17 20:41

Melodics(302日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) ☆3つでBPM114。昨日より☆を一つ上げて，かつ114までいけた。だいぶメトロノームに身体がついていけるようになった。が，まだ裏拍が読めてない。 最近やけに疲れが溜まる，と思ったら，guitarを弾いていなかった。生楽器の音楽成分が極端に不足すると，やる気がなくなるので，緊急でguitarに触れた。

2024/09/16 21:10

Melodics(301日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) BPM最速112。速くなってくると先に指を動かそうとしてしまう。rhythmと関係なく動かしてしまうくせがある。

2024/09/15 20:58

Melodics(300日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) BPM108まで到達。集中力の問題もあるので，長時間やってもできないものはできない。課題意識を持つことが大切。

2024/09/14 21:35

コードを「書く」人から「編集者」への転換

www.cio.com “Coders no longer have to be writers — they’re editors,” she says. “These senior developers have to understand the content and who the reader is, and in that case, who the customer is and what we’re trying to achieve.” コードを書くのではなく編集者となる。このアナロジーはいいかもしれない。プログラマはどういう立場でプロジェクトに参画するればいいのか，ずっと…

2024/09/14 11:07

Melodics(299日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) BPM87で8小節全部叩けるところまでいった。でも規定のBPMは135。

2024/09/13 22:07

Melodics(298日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) Automodeの正確度合いを☆2つにしても，BPM89まではなんとかいけるようになった。まだぜんぜんだけど，希望が少し見えた。

2024/09/12 21:57

Introductory Proof with Lean 4 - Natural Numbers

www.youtube.comうーむ，variableで宣言した変数が，theorem以下ではnot foundと言われてしまう。 section test theorem T (a b c d e : Nat) (h1 : a = b) (h2 : b = c + 1) (h3 : c = d) (h4 : e = 1 + d) : a = e := calc a = b := h1 b = c + 1 := h2 c + 1 = d + 1 := congrArg Nat.succ h3 d + 1 = 1 + d := Nat.add_comm d 1 1 + d = e := Eq.s…

2024/09/11 23:39

Melodics(297日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) なんとか4小節をゆっくりno missで叩けるようになってきた。先は長い。

2024/09/11 22:32

Solve a simple theorem using Lean4

-- Import necessary libraries for natural numbers import Mathlib -- Theorem: For any natural number n, n + 0 = n theorem add_zero1 (n : ℕ) : n + 0 = n := by -- Proceed by induction on n induction n with zero => -- Base case: n = 0 rfl -- reflexivity: 0 + 0 = 0 succ n => -- Inductive case: n = su…

2024/09/10 23:34

Melodics(296日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) 自動BPM upの☆1でBPM109，☆2でBPM108までいけた。今のところこのくらいが限界か。もうちょっとノリがつかめればいける気がする。

2024/09/10 21:25

Melodics(295日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) 2小節を通して，既定の半分以下のBPMで叩くところまで来た。さすがにGrade14はキツい。

2024/09/09 22:40

Coq and Lean

Coq Proof AssistantとLean Programming Language，やりたいことは基本的に同じだが，後発のLeanの方が洗練されているといえなくもない。どちらの言語も初めての人には絶対わけわからん言語だ。ちょうどChatGPTがあることだし，こういう未知の言語は生成AIに任せる。同一のTheoremを証明する。# Coq実行環境はこちら。 jsCoq – The Coq Theorem Prover Online IDE (* Import the standard library for natural numbers *) Require Import Coq.Ar…

2024/09/09 21:38

Melodics(294日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) Finger Drummerとしては275日目になった。相変わらず激ムズに挑戦中。規定のBPMまでは永遠に到達できそうにない部分があるのだがそれはともかく，1小節ずつ，遅いBPMで実施。BPM87くらいが現時点の限界。

2024/09/08 21:13

Melodics(293日目):Step Groove (Grade 14)

Finger Drum:Step Groove (Grade 14) さすがにGrade14だけあって，簡単には通してくれないなー。Pad数が多くて配置が変則的なので，Drum rollを見ながらの演奏はかえって混乱する。なのでrollは見ず覚えてしまい，Padだけ見て演奏する。

2024/09/07 21:58

Melodics(292日目):Dance Away The Rain (Beginner)(Grade 5)

Finger Drum:Dance Away The Rain (Beginner)(Grade 5) 最後までclear。やっぱりかっこいい。この曲Melodics originalなのにきちんと長い歌がついている。なんでこんなに凝ってるんだろう。

2024/09/06 22:29

金融所得課税

www.asahi.com 「多くの中間層が金融所得による所得増の恩恵を得られるよう取り組みを進めてきた。課税を強化することは、これまでの取り組みに逆行する」と指摘。「物価高に苦労する中間層に対する増税となりかねず、賛同しない」と主張した。 おかしいなぁ。なんで中間層から取ることが前提なのか。金融所得課税の問題はそもそも1億円の壁を解消するのが目的だったのでは。中間層は所得1億円以上の方，ということでいいのかな。富裕層の税率を上げるんだよね。 前提がおかしい。

2024/09/05 23:02

Melodics(291日目):Dance Away The Rain (Beginner)(Grade 5)

Finger Drum:Dance Away The Rain (Beginner)(Grade 5) おぉ，かっこいい曲。Beginnerとはいうものの，Grade5なりの難しさがある。

2024/09/05 21:49

Neal Ford

www.youtube.com learning.oreilly.com learning.oreilly.com learning.oreilly.com AWSばっかりやっていると何となく忘れがちなSoftware Architecture。Neal Fordさんってたくさん本書いてるなーと思ったら，それ以上によくしゃべる人だった。

2024/09/04 22:48

Melodics(290日目):Blanc(Grade 5)

Finger Drum:Blanc(Grade 5) あれー，こんないい曲あったかな。もしかして新曲として追加されていたのか。あるいは難易度の高い曲に進もうとしすぎて見落としたか。

2024/09/04 22:32

Social Responsible Investment

社会的責任投資という投資手法があるそうだ。 この投資法の起源は， 1920年代にキリスト教の一部宗派が，教義に反する酒やたばこ，ギャンブルなどの業種・銘柄を投資の対象から外したことに由来する のだそうな。(p.48「金融業界の動向とからくりがよーくわかる本」) 責任投資原則(Principle for Responsible Investment)という考え方があって，「機関投資家は社会がよりよくなる方向に投資せよ」という考えだそうだ。 具体的な内容としてはESG(Environment,Social,Governance)投資という話がある。 なんでこんなことが気になったのかというと，AWS…

2024/09/03 21:42

Melodics(289日目):Fatty(Grade 5)

Finger Drum:Fatty(Grade 5) うーん，☆2つか。連打の部分がどうしてもずれる。わりとかっちりした曲なのにタイミングが難しい。

2024/09/03 21:19

Melodics(288日目):Fatty(Grade 5)

Finger Drum:Fatty(Grade 5) 分かりやすいrhythmなんだけど，perfectが微妙に難しい。ちょっとずれるとダメなんだよな。

2024/09/02 22:18

Investment Banking

Investment Banking 投資銀行業務の実践ガイド 作者:ジョシュア・ローゼンバウム,ジョシュア・パール 翔泳社 Amazon Investment Banking Workbook 投資銀行業務の演習問題集 作者:ジョシュア・ローゼンバウム,ジョシュア・パール,ジョセフ・ガスパロ 翔泳社 Amazon DCF法ってなんだっけ。むかーし中小企業診断士の参考書を眺めたとき，WACCがどうしたのとやたら実感の無い話が続いていた気がするんだけど。ということで久しぶりに参考書を眺めてみた。今でもM&A界隈はこういうことやってるんですかね。この手のハイリスク系ではM&A businessと，…

2024/09/01 22:11

Melodics(287日目):Unspoken Feelings(Grade 8)

Finger Drum:Unspoken Feelings(Grade 8) ☆2つになった。いや難しい。完全なshuffleじゃない気がする。タンタタンタが微妙にずれる。

2024/09/01 21:37