programming プログラムを書くこと。プログラムすること。 音楽の場合はパソコン、シンセサイザーなどを用いて打ち込みにより音楽作品を組み上げること。
次に振動スイッチです。傾いたら導通せず、直立の場合に導通するスイッチです。画像の場合は傾いているので、Fall down と表示されます。直立の場合は Stability と表示されます。本では逆になっていたので、条件を == 0 に変更しました。 振動スイッチ 次は、アナログジョイスティックです。本ではデジタルジョイスティックもありましたが、お金もかかりますので買いませんでした。 アナログジョイスティック ニュートラルからどの方向に動いたか、8方向と動きの量を表示します。ゲームなどに使えそうです。 アナログジョイスティックのプログラム 次にサーミスターです。安価な温度センサーとして使われるよ…
こんにちは、皆さん！ 今日はAI業界からとんでもないニュースが飛び込んできましたね！そう、あのAnthropicが、次世代のClaudeモデル「Claude 4」を発表したんです！ 「Claude 4って何がすごいの？」って思いますよね？これがもう、開発者の方々はもちろん、私たち一般ユーザーにとっても、今後のAIの使い方がガラリと変わるんじゃないかと思えるような、めちゃくちゃヤバい進化を遂げているんです。 Claude 4、ここがヤバい！特に「Opus 4」はプログラマー必見！ 今回発表されたのは、主に「Claude Opus 4」と「Claude Sonnet 4」の2つのモデル。 1. C…
子供には，あらゆるチャンスを与えて， その可能性を目覚めさせて自分の生きる道を自覚できるようにする。それが親の役割だと信じている。 筆者の場合，幼稚園から続けてきた音楽教室は，やがてピアノレッスンへとつながったが，高校段階で限界を知った。その後，音楽を自分で演奏することに能力不足を覚え，趣味レベルで楽しむことも断念した。世界で数十人にしか与えられない芸術の頂点を目指すだけの才能はなかった。 ソロバン教室は1級まで進んだが，肝心の暗算はあまり得意でも好きでもなかった。時代が電卓やパソコンになり，この能力も不要になった。 運動も苦手，走りは遅い，身体は小さい，など，スポーツ系も苦手だった。 どうや…
自分の思う通りにならないと、つい新しいものが欲しくなってしまいます。 悪いことではないかもしれないけど、それでもなんだかすぐに中途半端にしてしまいそうで、あまり気分が良いものでもない感じです。 やはり一度始めたら腰を据えてじっくりとというのが、一番確実な方法なのかもしれません。 その・・・・ 続きはこちら
MCP(サーバー)の構成を探る Qiitaに投稿しました Qiitaに「各サービスのModel Context Protocolのアーキテクチャ一覧」を投稿しました。 qiita.com 所感 GitDiagramが便利でサイコーと言おうと思ったのですが、キャッシュされていないrepositoryはエラーが出ますね。。。 Mermaidは壊れがちなのでlintかけたいと思う時はあります。 ランキング参加中プログラミング
ブログは毎日更新中！ オフの時はこちらのブログを更新します。↓ furudate.hatenablog.jp よければどうぞ。 さくらスタディのインスタはこちら https://www.instagram.com/sakusuta.kitakami/ さくらスタディのYOU TUBEはこちら www.youtube.com さくらスタディのLINEスタンプはこちら https://store.line.me/stickershop/product/26628500/ja さくらスタディのtiktokはこちら www.tiktok.com 最近、速読トレーニングを受けている生徒の保護者の方から、…
みなさんは、配列の中身をログに出力したいとき、どうしていますか？ 普通は String.Join() を使うと思います。 string[] array = new string[] { "ホップ", "ステップ", "ジャンプ！" }; // C#の標準関数 Join Debug.Log(string.Join(", ", array)); しかし... Length とかは配列から呼べるのに、 結合するときは なぜ外部の String から呼び出さねばならないのでしょうか？ 配列側から呼び出せた方が簡単でスマートなはずです。 // こうしたい！（ムリ） array.ToString(); と…
構造 定義 ここまでの定義はだいたい残っている状態からスタートするとする。 構造のユニバースになる型が必要で、とかでもいいんだけど、区別をつけたいので新しい型Vを定義。ただ自然数でインデックスしているだけ。 inductive V : Type | obj (n : Nat) : V deriving Repr, DecidableEq deriving Reprをつけているので#evalして表示することができる。DecidableEqは型の要素が等しいかどうかが決定できるかどうかってやつ。 構造はMathlib.ModelTheory.BasicでFirstOrder.Language.St…
ゲームが好きで、自分でも作ってみたいと思ったことはありませんか。C#はそんな思いを実現する、強力なツールです。Unityというゲームエンジンと組み合わせれば、2Dゲームから本格的な3Dゲームまで、様々なジャンルのゲームを開発できます。難しいプログラミング言語を学ぶ必要はありません。Unityのエディターには視覚的な操作でゲームを制作できる機能が備わっています。キャラクターの動き、敵の出現パターン、ステージ構成など、アイデアを自由に形にできるのです。自分の作ったゲームを世界中の人々にプレイしてもらうことも夢ではありません。 C#はUnityでゲーム開発を行う際の主要なスクリプト言語です。基本的な…
前回: Mathlib.ModelTheory事始め - kururu_goedel’s diary 論理式 項はできたんで次は論理式。定義はMathlib.ModelTheory.Syntaxにある。 /-- `Formula α` is the type of formulas with all free variables indexed by `α`. -/ abbrev Formula := L.BoundedFormula α 0 ご覧の通りこの部分は全然中身ではなく、L.BoundedFormula α 0をFormulaと定義しているだけ。Lとαは上でvariable指定されて…
dotinstall.com
www.mwsoft.jp
crocro.com
anond.hatelabo.jp
matome.naver.jp
twitter.com
x68000.q-e-d.net
repository.kulib.kyoto-u.ac.jp
save.sys.t.u-tokyo.ac.jp
