論理回路の高位合成の言語処理系を自作するアカウント。

Joined June 2010
278 Photos and videos
Pinned Tweet
開発中のツール、KVLって名前でいこうと思います * Verilog関連のツールっぽい * KCL(Kyoto Common Lisp), K-Prologを作った師匠筋へのリスペクト * キルヒホッフの電圧法則の略でもある * 同じ名称の有名ソフトが今の所は無い 何の略がKVLかは今から考えます。
2
6
1,845
10年前に富士通がディープラーニング用のASICを作ってて、その頃にGoogleもTPU v1を展開してた感じ。 pc.watch.impress.co.jp/docs/… この時点だと大物ASICを作る能力は富士通の方が上だったと思いますが、強い商流に組み込めたTPUの方が開発のコスパが良くなったんですよね。 でも、とりあえず作るのも大事!
3
182
ソフトウェアエンジニアとして大成功もしくは大失敗を噂される場合、「資産額がintで扱えないらしい!」って陰口が出てくるようです。 ※intは32bitとする
2
146
ITと地域振興みたいなノリでエンジニア上りとビジネスっぽい人が良い感じに混ざるイベントに行って、色々と世間話をしてました。 ビジネスを進める中で自分の強みを理解せず捨てる奴で溢れかえってるんだなという感想。普通はSpaceXのようにはいかないものですよね。
1
87
IPA(役所)がロゴが変わっただけでなく、英語名が「Information-technology Promotion Agency」から「Innovation Platform Agency」って変わったらしい。 新ロゴがクラフトビールのロゴ?ってのはみんな思うっぽくて、IPAの人もジョークにしてました。
2
3
311
Xを使ってて * どのように盛り上がったのか後で見たいポスト * 面白い猫画像のポスト をブックマークし、前者は確認が済んだらブックマークを解除ってやってます。要するに猫画像ばっかりがブックマークされています。
1
2
158
Tuple spaceっていう計算モデルがあって、時々思い出しては何かに使えないかなって考えるのを20年間やってきたのですが、agentと組み合わせるのは(Gemini/ChatGPT共に)良いアイデアらしい。 アイデアを興奮しながら語る学生さんみたいなハイテンションを感じる回答なんで、フィージビリティを検討中
ja.wikipedia.org/wiki/Linda コンピューターサイエンス系学生の大二病の一つとして、Tuple Spaceが有望なんじゃないかと思ってしまう症状があるとかないとか…ですが、そのうちなんかの用途で復権するんちゃうかと妄想しています。 いや、例えば、AIとかと絡めて…(恥ずかしそうに小声で)
2
5
721
受託の開発の金額を出すのに多少無理な計算が入ってることを承知で「人月」単位を使いますが、そのうち、別の無理な計算込みで「トークン数」を単位にする時代が来たら面白そう。 本システムのリリースまでには10億トークンで、費用はトークン費の10倍相当の人件費・管理費等を加えて請求します!
1
105
ディープラーニングの時代が来てしまって、少なくとも余暇で学ぶ価値は激減してしまった分野。 今後は勉強する時間があったら工学部共通な数学の理解を深めつつディープラーニングもやるって感じですね~
4
129
YouTubeのお勧めに従いM&A(企業買収)の評価額とか統合の実務とかの解説動画を数十個見続けて無駄に詳しくなってしまうなど。1円にもならなさそうな知識ですね~(←自分の知識を評価額で考えてしまう)
1
107
当アカウントの趣旨であるVerilogのparserを少しずつ書き進めてます。error recoveryの強いparserを書くってのはAIにやってもらうのも難しいようで手間取ってる今日この頃です。
2
121
大手のLLMって、数百億円でトレーニングして、社内外のユーザーに提供して少なくとも数百億円の利益に繋げるみたいな痺れるビジネスになってるんですよね。 産業政策だからコスパじゃないんだって態度もアリですが、大手以外でやるのは大変そう。
1
93
1990年頃 ソ連崩壊、ベルリンの壁崩壊、京阪電鉄の出町柳駅までの延伸 2025年頃 生成AI、ノートPCとスマホの充電ケーブルの統一 大きい所でも、小さい所でも世界観が変わる出来事が起きますね~
1
122
役所関連のイベントに行くことになったんですが、名刺が無い。 「あいにく名刺(を作る必要があるような職)を切らしておりまして。」
117
職業人生において色々なことを教えてくれたボス達が最後に教えてくれることは、ボスは結構な確率で失脚してどっかに行くということ(行かん奴もいる)。 教育の連鎖が続くんですよねー
1
3
248
AI時代の教育の議論を見てて、「エージェントのハーネスの設定を気にする前に、自分という人間に付いたハーネスを意識し、要らない物からは解き放たれるべき!」なんてのを見かけ、無駄にカッコいいと思うなど。 しかし、コンテキスト無しには判断しかねますね。
122
膵臓がんの薬が開発されて感動&大盛り上がりな投稿が流れてきますが、開発したRevolution Medicines社の決算を見たら強烈。 今までに20億ドルを勢いよく溶かして爆走して、この成果に到達。株式市場の力を感じますね。「これが資本主義か!」って感じ。
1
4
362
無職を数カ月やって限界が見えた気がするんで、就活しようと思います。 名前でググって頂ければ大体のプロフィール(誇れるのも残念なのも)が見れると思いますので、変なソフトウェアエンジニアが同僚に欲しい方はご検討の上、カジュアル面談等できれば幸いです。
5
7
56
11,131
(本名はプロフィールからリンクしてるgithubのプロフィールに記載してます)
1
1
1,111
すみませんが、自称「変なソフトウェアエンジニア」なんで受託開発や派遣に参加するのは勘弁して頂きたいところですね~
1
684
定点観測のメモ:Django(Python)がRuby on Railsより検索されているのは20県ぐらいに増加。 Google Trendsのスクショを定期的に貼ってるので、引用postをたどって過去からの推移を見てください。 新規プロジェクトでインターンを入れる可能性があるんで、Rubyはちょっとという議論も身近でリアルに…
定点観測のメモ:Django(Python)がRuby on Railsより検索されているのは12県ぐらいに増加。 Google Trendsのスクショを定期的に貼ってるので、引用postをたどって見てください。 技術選択の参考にするなら県の数じゃなくて、人口で見るべきな気もしますが、とりあえず、面白いので。
1
3
916