[B! プログラミング] adstyのブックマーク

adsty id:adsty

プログラミングに関するadstyのブックマーク (642)

数学の「＝」（等しい）とはどういうことか？　英ICL教授が発表　「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア﹁Seamless﹂︵シームレス︶を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。X‥ ＠shiropen2 英インペリアル・カレッジ・ロンドン︵ICL︶の教授であり、数学者のケビン・バザードさんの単著論文﹁Grothendieck’s use of equality﹂は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。バザードさんは﹁現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明︵形式化︶においてその曖昧さが障害になっている﹂と指摘する。﹁＝﹂︵等号︶にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
adsty 2024/06/10
等式の曖昧な定義はコンピュータだと問題になる。

数学

プログラミング
リンク
「BASIC」誕生60周年--コンピューター利用を容易にしたシンプルな言語の歴史
Steven J. Vaughan-Nichols ︵Special to ZDNET.com︶翻訳校正‥ 川村インターナショナル 2024-05-15 07:30 ﹁Python﹂や﹁JavaScript﹂が学ばれるようになるずっと前、米国時間1964年5月1日の夜明け前の暗闇の中で、コンピューター史におけるささやかながら非常に重要な出来事がダートマス大学で幕を開けた。数学者のJohn G. Kemeny氏とThomas E. Kurtz氏がGeneral Electricの﹁GE-225﹂メインフレームを操作して、独自に考案した言語の最初のプログラムを実行した。その言語こそ、初心者向け汎用記号命令コード、すなわち﹁BASIC﹂だ。 BASICは最初に普及した言語ではない。その栄誉を得たのは、ビジネス分野では﹁COBOL﹂、エンジニアリング分野では﹁FORTRAN﹂だった。しかし、19
adsty 2024/05/16
プログラミングの基礎を学んだ言語の一つ。

プログラミング
リンク
Microsoft、「MS-DOS 4.0」をオープンソース化
adsty 2024/04/26
知っていたのは「MS-DOS 5.0」からだった。

開発

プログラミング

microsoft
リンク
NVIDIAのCEOが「AIがコードを書くのでもうプログラミングを学ぶ必要はない」と発言して議論を巻き起こす
by Hillel Steinberg ハイテク企業やベンチャー企業のトップが、「これからの若者はプログラミングを身につけるべき」とアドバイスするのを見聞きしたことがある人は多いはず。こうした潮流とは裏腹に、NVIDIAのジェンスン・フアンCEOが「プログラミングはもはや不可欠なスキルではない」と提唱しました。 NVIDIA CEO: Every Country Needs Sovereign AI | NVIDIA Blog https://blogs.nvidia.com/blog/world-governments-summit/ Jensen Huang says kids shouldn't learn to code — they should leave it up to AI | Tom's Hardware https://www.tomshardware.com/tec
adsty 2024/02/27
AI技術のさらなる進化が必要だ。

技術

プログラミング
リンク
マイクロソフト、初心者向け生成AI学習教材「生成AIアプリケーションの開発を始めるために必要な全知識を学べる12講座」を無償公開
マイクロソフト、初心者向け生成AI学習教材﹁生成AIアプリケーションの開発を始めるために必要な全知識を学べる12講座﹂を無償公開コースの内容には、大規模言語モデル︵LLM︶がどのように動くかを理解する。﹁生成 AIと大規模言語モデルの紹介﹂、ユースケースに適したAIモデルを選択できるようにする﹁様々なLLMの調査と比較﹂、プロンプトの構造と使用法の理解のための﹁プロンプト・エンジニアリングの基礎﹂、埋め込み技術を利用したデータ検索アプリケーションを構築する﹁Vector Databasesを利用した検索アプリケーションの構築﹂、外部APIからデータを取得するためFunction Callingを設定する﹁Function Callingとの統合﹂など、入門的な内容から高度なアプリケーションの開発まで多岐にわたるレッスンが用意されています。レッスン内容は日本語による説明と図で構成各レ
adsty 2024/01/09
生成AIアプリケーション構築の基礎知識を身に付けられる。

プログラミング

技術

開発
リンク
全ての開発者が知っておくべきUnicodeについての最低限の知識
2003年には﹁プレーンテキストなんてものは全く存在しない﹂と言われ、テキストの解読には文字コードの情報が必須となっていました。しかし、2023年になるまでの20年の間に絵文字などのおかげでUnicodeの利用率は98％へと到達し、再び文字コードを気にせずにすむ時代がやってきています。そんな時代において、正しくUnicodeを使うために必要な知識をエンジニアのニキータ・プロコポフさんが解説しています。 The Absolute Minimum Every Software Developer Must Know About Unicode in 2023 (Still No Excuses!) @ tonsky.me https://tonsky.me/blog/unicode/ Unicodeの歴史と利用率の推移をまとめたグラフは下図の通り。2000年代後半から急速に普及が進んでいったこ
adsty 2023/10/05
Unicodeを正しく使うために必要な知識。

プログラミング
リンク
プログラムを動かす時にメモリがどのように割り当て・解放されるのかをめちゃくちゃわかりやすいイメージ画像で解説してくれるサイト「Memory Allocation」
コンピューター上でプログラムを動作する際に必要になるのがメモリです。プログラム自体をメモリに読み込む必要があるのはもちろん、プログラムが行う動作はほとんど﹁メモリから値を取りだして計算し、メモリに保存する﹂であるといっても過言ではありません。プログラムが動作する際にメモリがどのように管理されているのかについて、ベテランプログラマーのサム・ローズさんがブログで解説しています。Memory Allocation https://samwho.dev/memory-allocation/ C言語の標準ライブラリには﹁malloc﹂と﹁free﹂という2つの関数が用意されています。この2つはなんと1979年のUnix v7から存在している歴史ある関数で、mallocがメモリの割り当てを担当し、freeがメモリの解放を担当しています。サム・ローズさんの解説は﹁この2つの関数の中身を自分で実装する﹂
adsty 2023/05/24
C言語のメモリ管理の勉強に役立つ。

プログラミング

アルゴリズム
リンク
57歳の母がエンジニアを目指している
ChatGPT関連のニュースを最初めちゃくちゃ嫌っていたうちの母親︵57歳の主婦︶が実際に使い始めたらどハマりしてしまったらしい。それだけなら面白いもんだが2ヶ月前、遂に﹁OpenAIのエンジニアになる﹂と言い出した。ちなみに母は一度も日本から出たことはないしプログラミングやIT系に勤務した経験もない。ニューハンプシャー州にあるコミュニティカレッジのオンライン英語学習コースとCamblyというアプリで英会話やライティングを勉強しながら、Pythonやデータ構造、アルゴリズムの勉強をしている。本を読んで色々作りながらPython Certificationsという試験の勉強をしているらしい。俺は2ヶ月前まで色々パソコンの基本的な使い方やファイルとかフォルダの違いについて教えていたが、もう多分母の方が詳しい。その情熱を数十年前に俺の教育に注いでくれればよかったのに。まあボケ防止にはなるだろ
adsty 2023/05/22
いつだろうと新しいことにチャレンジするのはすごい。

増田

人生

プログラミング
リンク
キャラ名に「ソ」があると画面がフリーズ　Switchの新作ゲームにバグ　制作会社が謝罪
関連記事25人のAIが一緒に暮らしたら、自我は芽生えるか？　ゲームの中で検証　バレンタインなど勝手に企画米スタンフォード大学とGoogle Researchに所属する研究者らは、ChatGPTなどで制御したキャラクター25人が1つの町で一緒に生活したらどうなるかを検証した研究報告を発表した。﹁サーバに致命的な不具合﹂のスマホゲー、﹁修正不可能と判断﹂でそのままサービス終了　問題発生から2日でゲームの開発・運営を手掛けるインゲームは、スマートフォンゲーム﹁戦策三国志﹂︵iOS／Android︶の不具合を修正できず、サービスの提供を終了したと発表した。任天堂﹁ご迷惑をおかけし申し訳ございません﹂　﹁ポケモンSV﹂アップデート配信　SNSではバグ報告の声多数任天堂とポケモン社が、﹁ポケットモンスタースカーレット・バイオレット﹂の更新データを配信する。新機能を追加した他、いくつかのバ
adsty 2023/04/14
ソんなことがあったソうなんだ。

ゲーム

プログラミング
リンク
ソースコードを書くのは単純作業？　GitHub日本法人の記事が物議　発言元のヤマト運輸「誤解を与えてしまった」
﹁ソースコードを書くのは単純作業﹂──そんな内容の記事がIT エンジニアなどを中心にTwitter上などで話題になっている。記事を掲載したのは、GitHubの日本法人ギットハブ・ジャパン。ヤマト運輸のGitHub活用事例を紹介する記事の中で、ヤマト運輸のDX推進を担当する中林紀彦執行役員がこのように発言したとしていた。話題となった記事では、ヤマト運輸のデータ・ドリブン経営について、中林執行役員などが解説。開発環境の内製化のためGitHubを採用したことや、2年で約100人のIT エンジニアを採用したことなどを記載している。その中で、今後の展望としてGitHubを活用した内製化の新たな形を探りたいという旨で、中林執行役員の発言として以下の記載があった。﹁これまでの内製化はアウトソーシングからの見直しが主体でした。これからは、アーキテクチャのデザインや、GitHubを活用したソースコードのガバ
adsty 2022/12/01
「単純な作業」を「短期的にリソースが足りない部分」と修正した。

仕事

プログラミング
リンク
10歳息子がScratchでゲームを作ってたらプログラムを上書きして消してしまい「プログラミングなんてやらない！もう嫌だ！」と大泣きした→その結果がとてもいい話
Meimoon | 谷本明夢＠言語化とコミュニケーション @meimoonstyle 10歳息子が学校のパソコンのScratchで初めてサッカーのPKのゲームを作ってウキウキしていたら、なんと新規で作り始めた別のプログラムを上書きして消してしまった。あんなに頑張って作ったのにと目に涙を溜めて絶望状態。もうプログラミングなんてやらない！もう嫌だ！！と顔を真っ赤にして大泣き。 2022-10-27 22:05:00 Meimoon | 谷本明夢＠言語化とコミュニケーション @meimoonstyle プログラミングとかやってるとバックアップちゃんととってないあるあるではあるんだけど、このままだとプログラミング嫌いになってしまうと思った私はすかさず「宿題全部後回しでいいから今すぐ同じの作ってみて！絶対最初より圧倒的に早くできるしなんならもっといいプログラム作れるから！絶対！」と 2022
adsty 2022/10/30
バックアップのように何かあった場合の対策を考えることは大事。

twitter

教育

プログラミング
リンク
プログラミング始めたいって言うと
まず何か作ってみろとたくさんの人が言うのだけれど、誰一人として自分が最初に作ったものを晒す人っていないんだよな理由はシンプルでほとんどの自称プログラマーは、新卒で講習受けてプロジェクトの下っ端からちょっとづつ仕事覚えていっただけで、実際は1人で作ったものなんて何もないからそれが何故かネットのプログラミング初心者に対しては、まず一人で何か作って見よっか？になるw 承認欲求なのか知らんけど本当滑稽だよな
adsty 2022/06/26
サンプルコードを打ち込んで動かすことから始めたなあ。

増田

プログラミング
リンク
商用利用OKの音素材、600種以上無料公開　バトルの攻撃音も……「Springin’ Sound Stock」
プログラミングアプリ﹁Springin'﹂︵スプリンギン︶などを提供するしくみデザインは6月23日、商用利用OKの無償音楽素材サイト﹁Springin’ Sound Stock﹂を公開した。戦闘ゲームの攻撃音や、8bitサウンドの効果音、システム音、乗り物の音など、600点以上をそろえた。過去のプログラミングコンテスト使用音源など、同社のサウンドデザイナーが手掛けた音源を中心に提供。﹁つくる楽しさを知り、誰でもクリエイターになってほしいという願い﹂から公開したという。誰でも無料で使うことができ、スプリンギンでの利用だけでなく、動画制作やイベントなどの商用利用も可能だ。関連記事タップやフリックなどのシステム操作音のフリー素材、電通が公開　商用利用も可能電通は、タップやフリック、文字入力などの操作を想定したオリジナルのシステム操作音をフリー素材として公開した。﹁SND﹂と名付けられた
adsty 2022/06/24
試聴してみたら使えそうな音が結構多かった。

webサービス

音楽

動画

ゲーム

プログラミング
リンク
たった256文字のJavaScriptコードで描かれた街の風景アニメがスゴ過ぎて訳がわからない／解説ページを見てもわからないorz【やじうまの杜】
adsty 2022/06/01
モノクロの風景が横へ流れていく。

プログラミング

javascript

アニメ
リンク
バンナム、約42万フレーム分のモーションデータ無償公開　歩行、格闘、ダンスなど　研究用に
ライセンスは﹁CC BY-NC-ND 4.0﹂で、利用の際にクレジットを表示すること、非営利でのみ利用すること、内容を改変しないことを求めている。バンダイナムコは、メタバースやXR技術が広まる中、コンテンツ規模が拡大すると従来のモーション制作過程では限界を迎えると予想。AIを活用したキャラクターのモーションを生成する研究を行っている。一方、AIによるモーション研究はデータセットの入手が難しいため研究開発が進んでいないとして、自社で使っているデータの一部を提供することにしたという。関連記事実在しない顔の画像3000点を無償配布、AI学習用データセットに　法人向け・商用利用可 AI活用のコンサルティング事業を手掛けるAPTOなど2社が、AIの学習データとして利用できる、実在しない男女の顔写真3000枚の無償配布を始めた。法人を対象に11月30日までの期間限定で提供し、商用利用も認める。
adsty 2022/04/28
人間の3DモーションデータをAIの研究開発向けに公開。

プログラミング

ゲーム
リンク
無料コーディング練習所 | 未経験からWebデザイナーへ！【2024年版】
﹃無料コーディング練習所﹄では、完全無料のコーディング教材を提供しています。入門編から上級編まで6サイトをコーディングすることで、 HTML・CSS・jQueryの基礎スキルがしっかり身につくカリキュラムになっています。デザインカンプと完成版コーディングデータ付きです。この教材は制作会社の新人コーダーの教育にも使用されています。さぁ、楽しみながら一緒に勉強していきましょう♪
adsty 2022/04/27
HTML・CSS・jQueryの基礎スキルが身に付くカリキュラム。

プログラミング

webデザイン

教育

html

css
リンク
Google製のJavaScript教育ツール「Grasshopper」は基礎から学べて初心者に優しい！【どれ使う？プログラミング教育ツール】
adsty 2022/04/21
JavaScriptをステップバイステップで学べる教育ツール。

プログラミング

javascript

教育
リンク
正規表現を使ってモンスターを討伐していくゲーム「Regex Hunting」をプレイしてみた
さまざまな要素を含む文字列を1つの文字列で表現できる﹁正規表現﹂を、楽しみながら学んでいけるゲーム﹁Regex Hunting﹂が登場したので、実際にプレイしてみました。 Regex Hunting https://www.regex-hunting.com/ サイトにアクセスしたら﹁Start﹂をクリック。するとサイト下部へとスクロールし、3種類のクエストが表示されます。まずは初級編の﹁スタート﹂をクリック。ゲーム開始前に、正規表現の説明をスライドで確認できるので、右下の三角アイコンをクリックするか、カーソルの右キーを押します。説明の一例が﹁文字クラス﹂。[acz#]と表記すると﹁a﹂﹁c﹂﹁z﹂﹁#﹂のいずれか1文字にマッチします。アルファベットが連続しているようであれば[a-z]とすれば小文字のaからzまで、[B-X]なら大文字のBからXまでにマッチする、という風に、正規表現初
adsty 2022/04/16
出現したモンスターを正規表現で倒していこう。

ゲーム

プログラミング
リンク
Google Forms APIが正式リリース。Googleフォームの作成や編集、集計などをプログラミングで制御可能に
GoogleFormsAPIが正式リリース。Googleフォームの作成や編集、集計などをプログラミングで制御可能にアンケートやクイズなどを簡単に制作できるGoogleフォームをAPI経由で作成、編集できる﹁GoogleFormsAPI﹂が正式版となったことを、Googleが発表しました。 Introducing the new GoogleFormsAPI! Developers can now build powerful integrations on top of Forms. Here's how you can use the new FormsAPI and what’s in it→ https://t.co/zLcaEw2ru1 What will you build for Google Workspace? pic.twitter.com/oSkPqx
adsty 2022/03/22
GoogleフォームをAPI経由で作成・編集できる。

webサービス

プログラミング

api

google
リンク
CSSは確実に進化している！変数、条件分岐、ループ、論理演算など、ロジックに記述するCSSの実装テクニック
一昔前のCSSと比較すると、ここ数年でCSSはかなり進化しました。calc()で数式が扱えるようになり、変数、条件分岐、ループ、論理演算なども使用できます。CSSでロジックをどう記述するのか、ブログラミング言語的な実装を紹介します。Writing Logic in CSS by Daniel Schulz TwitterでCSSがプログラミング言語なのかと話題になっていました。その前から本記事の翻訳に取り組んでいたのですが、非常に興味深い記事でした。CSSは宣言型プログラミング言語ですが、JavaScriptのような命令型の要素も増えてきて、一昔前からかなり進化しています。下記は各ポイントを意訳したものです。 ※当ブログでの翻訳記事は、元サイト様にライセンスを得て翻訳しています。はじめに CSSの制御構造 CSSの実装テクニック終わりにはじめに CSSは、スタイルのシステムに特化
adsty 2022/03/17
CSSのブログラミング言語的な実装例。

webデザイン

プログラミング

css
リンク
1 2 3 4 5 6 7 8 9 10 次のページ