LLM／AGI／ASIこの違いを理解しよう
LLM／AGI／ASI 1-1 LLM（大規模言語モデル）＝「超強力な予測変換」 文章の“つづき”を高精度に予想して出力するモデル。 できること：文章作成、要約、翻訳、コード補助、対話など言語タ...
1
0
Comment0
16 search resultsShowing 1~16 results
Stocked
You need to log-in
プロンプトはお願いではない。事前条件・事後条件・不変条件を定義するもの
なぜ「お願い」より「定義」なの？ LLM（ChatGPT など）に「〜してください」とお願いしても、毎回同じ品質の結果になるとは限りません。 そこで、作りたいもの＝関数とみなし、**ルール（仕様...
0
1
Comment0
形式的仕様記述言語VDM++を用いたChatGPT開発の実務的展望
1. はじめに 近年、ChatGPTをはじめとする生成AIは「自然言語からコードを自動生成する」場面で急速に活用されています。しかし実務開発では、曖昧な要求仕様 → 各自解釈 → 統合時に不整合...
0
0
Comment0
形式仕様記述を活用したAI支援ソフトウェア開発の全体像
1. フローの全体像 AIを 「生成支援」ではなく「仕様一貫性の担保役」 として組み込み、形式仕様記述（VDMなど）を中核に据えたものです。 [要件定義:自然言語仕様] ──AI変換──▶ [V...
0
0
Comment0
AIを活用したソフト開発における形式仕様記述の意義
1. 形式仕様記述言語とは 自然言語ではなく、数学的に厳密な構文で仕様を表現する方法。 VDM、Z言語、Alloy などが代表例。 「何を実現するか」を曖昧さなく表せるため、誤解や仕様の抜け漏れ...
0
0
Comment0
生成AIを用いた爆速コーディング例１（VDM未経験者でも最速でできる）
前回の記事 https://qiita.com/Andhy/items/d7af72d2586606fa9468 で触れたVDMとChatGPTを用いたプログラミングの実践編です。VDMやVDM...
1
1
Comment0
ChatGPTを利用したプログラム作成例【GoogleAppsScript 】
やりたいこと ECサイトでCSVアップロード機能を利用して商品を管理したいが、商品IDがECサイトで自動で振り当てられる。 CSVアップロード機能を用いて登録済み商品の更新と新規商品の登録を適切...
0
0
Comment0
これからのchatGPTでのプログラミングを生き抜くのはVDM＋＋？
形式的仕様記述言語VDM++を用いたChatGPT開発 VDMという言語をご存知でしょうか？ 形式仕様記述というマイナーな言語ですが、昨今のChatGPTの進化に従い、一気に主役の座に躍り出るの...
6
6
Comment0
なぜオブジェクト指向は理解されないのか？転職エンジニア1000人と話してわかったこと（主に入門資料の違和感から）
仕事上JavaやC#といったオブジェクト指向の言語を使用したシステムの設計や実装の開発経験者と話をする機会が最近多くなって気づいたのですが、バリバリのオブジェクト指向言語をお仕事として書いている...
2
1
Comment0
JavaScriptでMap -> Object
Mapって便利ですが、JSONにするとき困りますよね？ const m = new Map(); m.set("a","1"); m.set("b","2"); console.log(JSON...
0
0
Comment1
MeCabでパプリカのセリフ生成器を作ってみた
パプリカとは 2006年の名作アニメ映画作品です。 中でも有名なのは、 「オセアニアじゃ常識なんだよ」 https://dic.nicovideo.jp/a/%E3%82%AA%E3%82%BB...
2
1
Comment1
HTMLのアウトライン意識してますか？(HTML何もわからない)
HTML5以前は主にH要素によってアウトラインが解釈されていました。 <html> <body> <!-- アウトライン1 --> <h1>大見出...
0
1
Comment0
感染症と隔離政策のシミュレーションプログラム【COVID-19】
主に感染症の広がりと隔離政策などの効果シミュレーションプログラムです。 人の移動速度、隔離のブロックの大きさ、隔離条件、タイミングなどを任意に設定可能です。 簡易モデル内でそれぞれがどのように感...
2
0
Comment0
短いコードは良いコード？
3がつ１２にち きょうは、ちかくのレストランにいった。 となりのボックス席のおじさんたちがプログラマだったらしく、どんなコードがよいコードなのか？という話しでもり上がっていました。 そうしてしば...
7
5
Comment13
[ネタ]強制的にLGTMをいいねに戻す方法[Chromeエクステンション不要]
LGTMよりいいねが好き つい最近、QiitaのいいねがLGTMになりました。しかし世の中には、 LGTMよりいいねが好き いいねがなければ生きていけない そんな方も多いはずです。 そんな方に朗...
8
2
Comment3
【TypeScriptの罠】親クラスのコンストラクタ内で子クラスのメソッドを実行ー＞何故か親クラスのメンバ変数の値が
TypeScriptでちょっとハマったのでメモ。 qiita.ts abstract class Parent { protected hoge: string = "Parent"; cons...
6
3
Comment0
16 search resultsShowing 1~16 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles