ユーザ用ツール

サイト用ツール


2025:10:19

差分

このページの2つのバージョン間の差分を表示します。

この比較画面へのリンク

次のリビジョン
前のリビジョン
2025:10:19 [2025/10/20 06:33] – 作成 machiaworx2025:10:19 [2025/10/20 06:59] (現在) machiaworx
行 5: 行 5:
   * 初めてのことでびっくりしたことが多かった・・・   * 初めてのことでびっくりしたことが多かった・・・
   * これでひとまずは荷物が届くのを待つだけ。   * これでひとまずは荷物が届くのを待つだけ。
 +
 +----
 +  * 動画撮影の準備してみた。
 +  * 机の上にコンパクトなシンセを最大3台くらい置いて使うみたいなのはできそう。
 +  * 家にT-8やJ-6があるので並べて画面を確認しつつレイアウトを考慮してみた。
 +  * 録画するデバイスは、まずは携帯で試してみた。
 +  * Windows経由でスマートフォン連携して、PCで上でコントロールする形にすれば結構簡単に制御できそう。
 +  * ただ取り外しが面倒なのと、各種手続きにスマホを使う場合デバイスを家に忘れるのが致命的になりそうという課題がある。
 +  * これもあって別途カメラを買いたい、というのがある。できるだけ生活に必要なデバイスを他用途にロックインしない目的。
  
 ===== その他 ===== ===== その他 =====
行 14: 行 23:
   * デジゲー博の準備もせんとな・・・ほんと・・・   * デジゲー博の準備もせんとな・・・ほんと・・・
   * ようやく仕事の炎上が少し落ち着いたとは言えまだ負荷は高いのでうまく活動できてない。   * ようやく仕事の炎上が少し落ち着いたとは言えまだ負荷は高いのでうまく活動できてない。
-  * とず明日に紙媒体の発注手続きしておこう。+  * 当日までの期間内でやるこる程度書き出してみた。 
 +  * まず明日に紙媒体の発注手続きしておこう。 
 +  * あとはメニュー画面の構築が最低限行うこと、次にOP/EDの作成、その次にAESによる暗号化はできるようにしておこう。 
 +  * 最悪展示だけ間に合わせて頒布物はなしでもいいかなと考え中。 
 +  * 最近は「最低限何が必要かな」というのを逆算して考えるようになってる。 
 +  * 立て込んでるときは自分で準備するライン(基準)を意図的に低めに考えるのでもいいかと考えた
  
 ===== プログラム ===== ===== プログラム =====
行 25: 行 39:
   * https://github.com/leanprover/lean4   * https://github.com/leanprover/lean4
   * こういうの定理証明支援機能っていうみたい。   * こういうの定理証明支援機能っていうみたい。
-  * 基準とかルール分けが問題なく行えるよね、というのを確認できるみたい。+  * 計算やルール分け等、立式した内容が問題なく行えるよね、というのを確認できるみたい。
   * 結構長めの式を作ってそれを確認、という観点であれば有用かも。   * 結構長めの式を作ってそれを確認、という観点であれば有用かも。
   * https://akasik-libraries.jp/   * https://akasik-libraries.jp/
   * MSX関連の書籍ライブラリ。   * MSX関連の書籍ライブラリ。
-  + 
 +===== ゲーム ===== 
 +  炎上時はデイリーだけを必死にこなす、時にはデイリーすら諦めるようにしてたけど、最近はストーリーを追ったりできるようになってきた。少しずつ。 
 +  * 色々ゲームをプレイして、ここの実装自分だったらどうバランスとっていくかを考えるようになった。 
 +  * 何も作ってない状態だと夢想でしかないけど、一度ゲームを作っているのである程度考えやすくなってる。 
 +  * CryPic.は自分にとってのゲームの基準を提示する目的で作っていたのもあり、あまり売り出すとかを考えるようになってないのが悩みどころではあるけど。
2025/10/19.1760909617.txt.gz · 最終更新: 2025/10/20 06:33 by machiaworx