GitHub Actions はチューリング完全
チューリング完全とは、ざっくり説明すると、一部を除くほとんど全ての計算が可能な能力を意味します。言い換えると、ほとんど全ての計算問題を解く能力を意味します。（あとでもう少し詳しく説明します。）プログラミング言語は一般にチューリング完全であり、例えば TypeScript や Python はチューリング完全です。プログラミング言語以外にも、TypeScript の型システムやスーパーマリオメーカー、マジック・ザ・ギャザリングもまたチューリング完全であることが知られています[1][2][3]。直近では find と mkdir だけでチューリング完全になると報告されていましたね[4]。 逆にチューリング完全でない例としては正規表現[5]があります。チューリング完全ならば正規表現で解ける問題を全て解けますが、その逆は不可能です。例えば回文の判定は正規表現だと無理です。このように、数ある計算能力
「エンジニアとしての魅力は、どれだけ言語を知っているかにあらず」 CTOが語る、これからのエンジニアに求められること
秋葉原のラボを紹介 島澤甲氏：「そんなこと言ってもどうやったらこれを伸ばせるのよ」というところをちょっと紹介したいと思います。私は3次元的に技術を伸ばすためには環境も大事だと思っていて、ちょっとウイングアークの例を紹介しようかなと思います。 冒頭に、4億円うんたらと書いてありましたが、実はこういう世界観を実現するために秋葉原にラボを作りました。今日は、時間がないし自慢する場でもないのでサラッとだけ紹介します。ちょっと画面を変えますね。 （スライドを示して）今私はこんなところにいて、何インチだったかな？ 四百何十インチだったかな？ LEDパネルのモニターみたいなものがあります。少しカメラを回転させて周りを見せられますかね？ スコーピオンというゲーミングチェアのお化けみたいなものや、ちょっとわかりにくいですけどその奥には私たちのクラウドサービスの情報が可視化されているパネルがあります。今日は細
スレッドとプロセスの違いを完全に理解する
はじめに こんにちは、FarStep です。 プログラミングを学ぶ中で、「プロセス」と「スレッド」という言葉を耳にしたことがある方は多いと思います。 しかし、これらの違いを明確に説明できる自信がない方も多いのではないでしょうか。 本記事では、プロセスとスレッドの違いについて、エッセンスを抽出して 解説します。 説明を簡潔にしましたので、本記事は 5 分程度で読み終えることができます。 本記事の内容を自分の言葉で説明できるようになれば、プロセスとスレッドの違いの理解は十分でしょう。 それでは、始めます 🚀 プログラムとは プロセスとスレッドの違いを理解する前に、まずは「プログラム」について理解しましょう。 プログラムとは、プログラミング言語で書かれた一連の命令 のことです。 プログラミング言語の例としては、以下のようなものがあります。 C 言語 Java Python Ruby JavaS
中学生でもわかる深層学習
第1章 理論編 ・深層学習とは (p.13-) ・ニューラルネットワークとは (p.31-) ・どうやって学習するか: 勾配降下法 (p.57-) ・深層学習の注意点 (p.91-) 第2章 応用編 ・分類問題 (p.110-) ・画像認識 (p.120-) ・音声認識／自然言語処理…
TypeScriptってどんな言語？ 言語そのものを知る面白さ
2023年11月8日 プロを目指す人のためのTypeScript入門 - Forkwell Library #35
英語習得の近道は、ChatGPTで“自分で教材を作る”こと 『英語は10000時間でモノになる』著者がすすめる学習法
ChatGPTの研究から得られた英語学習のノウハウを詰め込んだ書籍『英語は10000時間でモノになる』。著者の橋本大也氏が、ChatGPTを活用した勉強法について解説します。本記事では、ChatGPTを使った英語学習の「応用編」をご紹介します。 前回の記事はこちら ChatGPTを活用した英語学習の「応用編」 橋本大也氏（以下、橋本）：ここからは、ChatGPTのプラグインとか、有料版のAdvanced data analysisの高度な機能を使った応用編ですね。ChatGPTを使って「え、こんなこともできるの!?」という例を紹介していきます。 最初は和製英語についてです。和製英語は「Japanglish」と言いますが、「和製英語の例をください」と入れると、Salaryman、OL、Skinship、Consentとか、いろいろな英語で答えてくれるんですね。 私はこのままmore、more
画像対応ChatGPTで設計図からコードの世界が実現しててやばい - きしだのHatena
アマチュア驚き屋のきしだです。 ChatGPTが画像入力に対応するよという話があって、来週くらいに使えるようになるかなーと思ったら、もう使えるようになってました。 で、写真から「カレー食べてる男の人です」くらいを言えるイメージで試してたら、なんかふつうに画面設計やクラス図からコードを書いていてびっくりしてしまいました。 まあ、起きたらこういうのが来てたわけですね。 で、まあ試してみて「あぁ、いままでのマルチモーダルよりちゃんと画像認識してるなー」くらいに思ったわけです。 で、NetBeansでの画面設計を読ませてみたらこう。 こういうコードが生成されました。 import javax.swing.*; import java.awt.*; public class SimpleForm { public static void main(String[] args) { JFrame fr
なぜChatGPTはこんなに日本語の精度が高いのか？ 梶谷健人氏が解説する、生成AIの6つの本質的価値
年間350件以上のAIプロジェクトを推進する株式会社エクサウィザーズ主催のセミナーに、生成AI分野で幅広い知識を持つ梶谷健人氏が登壇。「ChatGPTを活用した新規事業／サービス開発の進め方」をテーマに、生成AI領域で成功する事業・プロダクトづくりのポイントを紹介しました。 生成AIの6つの本質的価値 梶谷健人氏：生成AIならではの価値の作り方が「意味」のところですね。 まずは生成AIが本質的にはどういう価値を持っているのかを作り手がきちんと理解した上で、あぶり出して検証した顧客の課題と組み合わせて、サービスを作るという考え方が重要です。 生成AIの本質的な価値は何なのか。個人的には（スライドの）この6つに整理できると思います。 最初の1から3がコアな価値で、そこの派生として4から6の価値が生まれるという構造です。 それぞれの価値を解説させていただきます。まず最初が「コンテンツの創造コスト
米メタ、コンピューターコード生成ＡＩモデル発表へ
米メタ・プラットフォームズ（旧フェイスブック）は５日、英国、フランス、ドイツで、同社アプリ上のニュース配信サービス「フェイスブックニュース」の機能を年内に中止すると発表した。２０２２年１２月撮影（２０２３年 ロイター/Yves Herman/File Photo） ［２４日 ロイター］ - 米メタ・プラットフォームズ(META.O), opens new tabは２４日、人工知能（ＡＩ）分野への取り組みを一層強化し、コンピューターコードの作成を支援するよう設計されたＡＩモデルを発表すると明らかにした。 メタはブログへの投稿で、「コード・Ｌｌａｍａ（ラマ）」と名付けたこのＡＩモデルが無料で利用でき、人間が入力したテキストによるヒントに基づいてコードを書き、コード補完とデバッグにも利用できると説明した。
日本語言語モデル「Japanese StableLM Alpha」をリリースしました — Stability AI Japan
Stability AI Japan は70億パラメータの日本語向け汎用言語モデル「Japanese StableLM Base Alpha 7B」及び、指示応答言語モデル「Japanese StableLM Instruct Alpha 7B」を一般公開しました（略して「JSLM」)。これらのモデル はベンチマークスイート「lm-evaluation-harness」による複数の日本語タスクを用いた性能評価において、一般公開されている日本語向けモデルで最高の性能を発揮しています。 汎用言語モデル「Japanese StableLM Base Alpha 7B」「Japanese StableLM Base Alpha 7B」はウェブを中心とした大規模なデータを用いてテキスト生成を学習したモデルです。学習データは主に日本語と英語で、それに加えソースコードが約2%含まれています。学習データに
『なっとく！関数型プログラミング』は読者の理解度の進捗を先読みして作り込まれた”プログラミング入門”の良書 - Magnolia Tech
なっとく！関数型プログラミング 作者:Michał Płachta翔泳社Amazon 良い、買おう、読もう、（コードを）書こう、以上！ めっちゃ良いですよ、この本 中盤のプリミティブじゃやりづらい→直積→直和→二つ合わせてADT→値を取り出すためのパターンマッチの解説の流れの疾走感がいいですね— magnoliak🍧 (@magnolia_k_) 2023年8月6日 『なっとく！関数型プログラミング』は、2022年に出版された『Grokking Functional Programming』の邦訳版で、主にScalaを題材として関数型プログラミングを学んでいくための入門書("Grokking"は、完全に理解する、という意味)。あくまで関数型プログラミングの考え方、コードの書き方、良い設計の指針の解説が主眼に置かれているので、Scalaの言語機能の入門書ではない。Scalaの言語仕様を網羅
ChatGPTによるプロンプトの生成｜NyaFu
えーっと、note初記事です。つたない内容でしかもメッチャ長文ですがお付き合いください。 今回はタイトルにあるように、Stable DiffusionのプロンプトをChatGPTで生成する、今までとはちょっと違うやり方をご紹介します。 簡単なレクチャーも含むのでかなりのテキスト量ですが、最後まで目を通していただければ良いことがきっとあります。 はじめにまずこれからお伝えする技法は現時点でGPT4の使用が前提となっています。（追記：Bingでも可能になりました） 3.5では、私の技量が至らず安定した結果が得られていません。 しかしながら、先だってこの手法をお伝えした有志の方々が3.5及びBingでの実現を模索されていることを予めお伝えしておきます。 今回の手法を発見した経緯とネタバレことの発端は遡ること１か月前、プロンプトを自動でジャンル分けしてデータベースに流し込み、逆にそこからプロンプト
開発者のためのチャットGPTプロンプトエンジニアリング講座が公開されていたので眺めてみた - Qiita
はじめに DeepLearning.AIからPrompt Engineeringの講座「ChatGPT Prompt Engineering for Developers」が公開されました。なんとAndrew Ng氏(スタンフォード大学)とIsa Fulford氏(OpenAI)が講師。そして無料。 対象は初心者から上級者まで、計1時間ほどの動画で、実際に動かせる教材もセットになっており、教材の内容に目を通すだけでも参考になりました。サイト上では「期間限定無料」となっていたので、早めに覗いてみてください（2023/5/3時点） 以下、各パートのキーワードとメモです。 詳細はぜひぜひDeepLearning.AIの講座 をご覧ください！ ※印の部分が個人的な感想で、それ以外はレッスン内容の抜粋です。 （追記）始める前に @segavvy さんの記事。始め方や画面の説明、日本語で見るコツが書か
[Typescript] 「なぜ enum の利用が推奨されないのか？」をまとめてみた - Qiita
はじめに Typescript にも他の言語と同様にenumが記法として実装されているのですが、次の記事ではenumではなく、Union typeを利用しようという内容が記載してありました。 さようなら、TypeScript enum: Kabuku Developers Blog 色々関連する記事を読んだ結論として、特にこだわりがなければ「Union type」を利用する方が良いと僕も思います。 その根拠 / 背景を以降まとめたいと思います。 なお、本記事のコードの検証には、Typescript Playground を利用しています。 Typescriptのenumについて enumはある型についてとりえる値を列挙します。(他の言語と同様) Typescriptでは文字列、または数値を値としてマッピングできます。 デフォルトでは、上から0,1,2...というように数値を自動で値として設
![[Typescript] 「なぜ enum の利用が推奨されないのか？」をまとめてみた - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/79510cac92e70bdc8b4f01aa6d06ce71a10793a7/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JTVCVHlwZXNjcmlwdCU1RCUyMCVFMyU4MCU4QyVFMyU4MSVBQSVFMyU4MSU5QyUyMGVudW0lMjAlRTMlODElQUUlRTUlODglQTklRTclOTQlQTglRTMlODElOEMlRTYlOEUlQTglRTUlQTUlQTglRTMlODElOTUlRTMlODIlOEMlRTMlODElQUElRTMlODElODQlRTMlODElQUUlRTMlODElOEIlRUYlQkMlOUYlRTMlODAlOEQlRTMlODIlOTIlRTMlODElQkUlRTMlODElQTglRTMlODIlODElRTMlODElQTYlRTMlODElQkYlRTMlODElOUYmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPWM1NTNhY2U4YjQ5MTNlNzgyYTRkNWZmNzAxODAxYzY2%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBzYWJhX2NhbjAwJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz04M2ZhZGRjYzdlOGYwMDllNjY2Njc3MTRiYTBhNWI5Zg%26blend-x%3D142%26blend-y%3D436%26blend-mode%3Dnormal%26txt64%3DaW4g44Ko44Oz44K444OL44Ki44Go5Lq655Sf44Kz44Of44Ol44OL44OG44Kj%26txt-width%3D770%26txt-clip%3Dend%252Cellipsis%26txt-color%3D%2523212121%26txt-font%3DHiragino%2520Sans%2520W6%26txt-size%3D36%26txt-x%3D156%26txt-y%3D536%26s%3Dc14cfa20c2b6aad9ef85f3024f617c6a)
【ChatGPT】便利な神Chrome拡張機能 - Qiita
日々便利なプロンプトが生み出されたり、 ChatGPT pluginsの発表など話題が絶えないChatGPTですが、 今回はインストールだけでChatGPTがインターネットから得た最新の情報をもとに回答してくれたり、自分の質問履歴を検索できたり、世界中の人が作ったプロンプトを検索したり、自動同期をしてくれたりと、とても便利なChrome拡張機能をいくつかご紹介いたします。 拡張機能をインストールするだけなので、手間が全くかからずにすぐに使うことができます。 こちらの記事は随時更新追加していきます WebChatGPT 概要 この拡張機能により、ChatGPTがインターネットを利用して回答を提供できるようになります。 ChatGPTは2021年までの情報をもとに学んでいるので、最新の情報に関しては十分に回答できないことがあります。この拡張機能を使うことで、ChatGPTがインターネットから得
python的な書き方を学ぶと良い話 - Qiita
はじめに Pythonは可読性が高く、ライブラリが豊富というメリットがあります。一方で、遅いから使いたくないと言われることもあります。たしかにコンパイル方式の言語に比べれば遅い部類ではあります。しかし、実際のところではpython的な書き方を分からず、他の言語の流儀でコーディングをしたことに起因して処理時間がかかっているケースも見受けられます。 例えば総当り計算や画像処理に多重ループを使う、といったものです。本記事では多重ループを例にして、python的な書き方に書き換えることで、どのような変化があるか紹介します。それを通してpython的な書き方を学ぶ意義について説明したいと思います。 対象の読者 他の言語からpythonに入った方(組み込みC言語からpythonに入った過去の私) 例: 総当りの計算をする 数列に対して、それぞれの要素同士に対して総当りで何らかの計算をするコードについて
ChatGPTの法人利用方法6選！業務が鬼捗る生成AIサービス10選や料金、セキュリティについても紹介 | WEEL
ChatGPTの法人向けプランとして、EnterpriseプランやTeamプランがリリースされていることはご存知でしょうか？ とくに、「ChatGPT Enterprise」は安全性が高く、応答も速いので、さまざまな業務を効率化できます。しかし、「ChatGPT Enterprise」はOpenAIから承認を受けなければならないので、全員がすぐに利用できるわけではありません。よって、現状は「ChatGPT Team」を利用するか、別の方法でChatGPTの機能を法人利用するのが得策です。 この記事では、ChatGPTの機能を法人利用する方法やChatGPT内臓のおすすめサービスをご紹介します。最後まで目を通していただくと、ChatGPTを安全かつ効率的に法人利用できるようになるので、業務の生産性が上がること間違いありません。 ぜひ最後までご覧ください。 ChatGPTは法人利用できる？ C
エンジニアの職務経歴書 〜正しい魅力の伝え方〜 - Qiita
はじめに 昨今の採用現場においてはソフトウェアエンジニアは売り手市場と言われ数年が経過していますが、2023年現在においても、デジタルトランスフォーメーションの加速により、これまでのIT企業の募集だけではなく、様々な企業がソフトウェアエンジニアを募集している状況にあると思います。 知り合いのリクルーターに話を聞くと、ここ最近米国のBigTech企業や、日本初のベンチャー企業のレイオフが目立ちますが、それはごく一部であり、多くの企業では引き続きソフトウェアエンジニアの需要は最も高く、この先10年以上はこの高い需要は続くだろうと言っていました。 引用元: 【2023年最新】厳選！エンジニア採用に強い15の採用媒体比較～最新市場動向や採用戦略も徹底解説 - type 私自身が就職した10年数年前は望んでソフトウェアエンジニアに就く人は理系出身のプログラミング趣向が強い人ばかりという印象でしたが、
NestJS を使って最速リリースを目指している話 - ROBOT PAYMENT TECH-BLOG
こんにちは。ROBOT PAYMENTでエンジニアをやっております 牧野です。 今回は新規プロダクトの立ち上げに伴い開発言語からインフラ設計まで0→1でサービスリリースするのに必要な技術選定を行いました。 その際の選定理由や、実際に開発を進めていて得た所感などを書いてみたいと思います。 私は主にバックエンド（フロントエンド以外）を中心に技術選定を行っためそちらを中心に書かせていただきます。 チーム規模 選定技術 TypeScript NestJS GraphQL PostgreSQL AWS App Runner まとめ チーム規模 バックエンドエンジニア2人 フロントエンドエンジニア1人 PM 1人 デザイナー1人 上記を１チームとして最短距離でリリースすべくスクラム開発を行なっています。 既存の請求管理ロボ開発においては、厳密ではないですがコンテナ運用や監視ツール、CICDなど機能開発
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
htmlで非活性(disabled)にしたのに、リンク先に飛べてしまう。
