Advertisement · 728 × 90

Posts by Sho UNO (unosw)

昨日あれこれ考えていた AI コーディングとの付き合い方は……

1. 会話を通じて仕様書をつくらせる、中身は見ない
2. 仕様書から秘伝の skill を使用して実装計画書をつくらせる、中身は見ない
3. フェーズごとに実装させる
4. 実装させたコードを参考に、あえて自分で手書きする

こんな感じですすめればよいのではないかというところに着地した
ただコードで仕様書を作る、形式記述とはまた違ったアプローチというのは面白そうなテーマなので
時間のあるときにちょこちょこ進めてみる
たぶん

1 hour ago 4 0 0 0
A close-up of a black-and-white cat

A close-up of a black-and-white cat

Give me food… or else

2 hours ago 1499 343 14 6
Post image

今日の私のBluesky🌈

うちのこ、シュレディンガーちゃんとイカ。
いつでもいっしょ!

1 year ago 88 13 2 2
Post image

実家産パーフェクトタラの芽

3 hours ago 33 8 0 0
Post image

本日の初音ミクを描きました

労働に備えて大きく背伸びをする運動ーッ

4 hours ago 84 18 0 0

配信来てくれてありがとう〜
クロマチックもっとちゃんと練習しろ 😡

1 day ago 2 0 1 0
Preview
Bluecast 常磁性たまごスープ by Sho UNO (unosw)

🔴 LIVE: 🎙 #Bluecast で配信をはじめました!
"常磁性たまごスープ" (パブリック)
www.bluecast.app/user/@unosw.jp

1 day ago 1 1 0 0

ギターを弾きながら雑談とかソフトウェア開発について語る異色の配信をします
準備するので待っててね

1 day ago 5 1 0 0

なんか今日濃いな

1 day ago 0 0 0 0
Advertisement

#BlueskyHackathon に参加されたみなさまおつかれさまです!
ちらっと覗いた程度ですが、この限られた時間でユニークなサービスが生まれていてすごい……
僕はソフトウェア開発そのものについて思考を巡らせていました
ソフトウェア開発者をやめてソフトウェア哲学者に転向するかもしれません

1 day ago 7 0 0 0

なんかこう、コーディングエージェントの上に、ハーネスというよりフレームワークをつくりたいよね

1 day ago 1 0 0 0

今回のコンテキストは LLM への入力の話だったので、いちおうは大丈夫そうです。
ですがやっぱりそういう影響もあるんですね〜

1 day ago 2 0 0 0

なんか愚痴をたれたら思いのほか反響があったけど、僕が考えてる本質はこっちだからね!
bsky.app/profile/unos...

1 day ago 7 1 0 0

とりあえず形式仕様記述について学ぶ
VDM、Alloy、TLA+ あたりをおさえておくとよいのだろうか

1 day ago 0 0 0 0

もうあれだ、ソフトウェア作る過程をゲームにしようぜ

1 day ago 1 0 0 0
Preview
形式手法はなぜ流行っていないのか - Qiita はじめに みなさん形式手法をご存知でしょうか? 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されているものの、 一般の(特にWeb系)ソフトウェア開発者が携わることはなかなか...

形式手法
qiita.com/autotaker198...

1 day ago 0 0 0 0

プロンプトは単純な話で、英語で簡潔に書けばよさそう
仕様書とかは構造化やマークアップする余地があるか
それは AI 時代の前から試されてそうだから探してみよう

1 day ago 1 0 1 0
Advertisement

ありがとうございます。
たぶん、この記事で触れられている「caveman」を、LLM でなく自分が実践すればおおむね目的を達成できそうですね。

1 day ago 2 0 0 0

僕はね、ここへのポストにしても、どういう文体にするのか、漢字をひらくのかひらかないのか、句読点はつかうのかつかわないのか、すごーく気にかけて書いているんですよ(誤字・脱字・衍字がないとは言ってない)
プロンプトを書くときにも同じような「気遣い」がうまれてしまって、負荷になっているのかも

1 day ago 2 1 0 0

いやまて、英語でプロンプトかけばすむ話な気がしてきたな

1 day ago 1 0 1 0

自然言語にコンパイル(トランスパイル?)される DSL とかあればいいんかな

1 day ago 1 0 0 0

僕にとって LLM は「続きの文章をいい感じに生成してくれるシステム」でしかない
人間は人間らしく、機械は機械らしくふるまってくれたまえ
お互い変に擦り寄るでない

1 day ago 2 0 0 0

まじめに分析するといやになった理由が 2 つあって、

1. いまさら AI コーディングエージェントなしの手書きコーディングはやってらんねーという感覚がある。いちばんは AI コーディングの速度感にもう慣れてしまって、ちまちま作っていくのに耐えられなくなった。
2. プロンプト書きたくない。よく AI コーディングの利点として「自然言語でプログラムを構築していけること」が喧伝されることがあるけど、僕は「人に伝えるための」文章以外は 1 文字たりとも書きたくないのである。

だから、なるべく自分で素のプロンプトを書かずに AI へ指示する方法を探したい。なんかすでにあったらおしえてください。

1 day ago 6 0 2 0

というわけで僕がふたたびソフトウェアがつくれるように支援するソフトウェアをつくります

1 day ago 7 1 1 1

もう仕事じゃないとこでソフトウェア作るのいやになっちゃった
なーんもおもしろくない

1 day ago 13 3 1 0
Advertisement

Macbook Neo はたぶんただネットを見たり文書作成ぐらいしかやらない人がターゲットよね
なるべくコストをおさえつつクリエイティブ用途にも耐えうる Mac を……となると Mac mini(最新型でなく型落ちでも)って感じかなあ
ただそもそもノート PC じゃないとだめな場合はやっぱ Macbook Pro になっちゃうよね

1 day ago 0 0 0 0

モバイルに限らずソフトウェア業界はもう、いかに AI を駆使するかの領域に来ていますね……

2 days ago 1 0 0 0
Preview
GenUI SDK for Flutter Learn how to use GenUI SDK for Flutter to build more interactive experiences for applications and chatbots.

Flutter にはすでに GenUI なるものがありまして……
docs.flutter.dev/ai/genui

2 days ago 1 0 1 0

陽炎(かげろう)燃ゆる フローレスの
乾いた土を 踏みしめて
太古の記憶 背に負いて
巨躯(からだ)をゆらし 我らゆく
ああ コモドドラゴン

2 days ago 1 0 0 0
Preview
ズガドーン|ポケモンずかん 『ポケットモンスター』シリーズに登場するポケモンの情報を見ることができる、「ポケモンずかん」。

zukan.pokemon.co.jp/detail/0806

2 days ago 1 0 0 0