K's Atelier

個人的な学習記録

Speak(784min)

「現金はありますか?」というtitleにぎょっとするけど,"Do you have some cash?" "Do you have any questions?"などの疑問文の練習。日本語をその場で訳すのは難しい。ということは,英語を繰り返すだけだと頭を使ってない,ってことなんだろう。

Melodics(123日目):Reversed Finger Independence(Grade7)

Finger Drum:Reversed Finger Independence(Grade7) 昨日のFinger Independenceの動作逆version。丁寧にやらないと,すぐにrhythmがずれる。Finger Independenceの最後のStepは,右手と左手を交互に演奏していく曲だった。切り替えのところでmissスる。あと…

Speak(773min)

おー。「どうしてスピークを使うんですか?」ときたか。 ほんとに質問が来た。Speakを使うのは,自分を鍛えるツールとしてGenerative AIが使えるんじゃないかと思うから。うまく言えてないなぁ。

Melodics(122日目):Finger Independence(Grade6)

Finger Drum:Finger Independence(Grade6) 指の独立練習。毎度のことながら,こういうのに限って少しでもずれるとすぐわかる。あくまでも毎日のWarming upなんだろうな。これをずーっとやっても音楽的ではないから。特に素人は,課題曲の一部を徹底的にloop…

AWS Certified Database - Specialty

Specialty4つ目。さすがにDASの次にDBSだと,内容的にあまり違いがない。このあたりが今回,DASとDBSどちらもretireになった理由だろう。評価軸があいまいなんだよね。 AWSの評価軸としてやるなら,以下の軸かな。 ・開発プロセス観点:Dev Sec Ops ・System …

Coq Proof Assistant

Coqというのは定理証明支援系。数学の証明を形式的にチェックしてくれるツールだ。 数学書を漫然と眺めていても仕方ないので,Coqのコードに書きなおしながら読めばいいんじゃないか,と思いついた。「演習 群・環・体 入門」は,本来整数の代数的定義がこの…

Speak(765min)

試しに難易度をHardにしてみた。が,とてもHardな感じではない。これは普通にAIにお願いして「TOEIC 800 Levelの問題を作ってください」とかやった方がいいな。必須単語は肩慣らし用に作られているとみた。