「配列のすべての要素が条件を満たすならtrueを返す」関数に空配列を渡したらtrueかfalseか？

2023年6月3日 08:04

あるAnonymous Coward 曰く、

ここ数日、Twitterのプログラマー界隈で「「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ」というツイートを発端として、様々な意見が交わされているので、スラドにも共有したい。

発端となったのは上記のツイートだが、そのリプライや引用では「仕様によるのでは」「メソッド名次第」「コメントに書けばどちらでも良い」「使い方を間違えている可能性があるから例外を投げるべきだ」といったfalse肯定派もいれば、一方で「世の中の標準ライブラリはみんなtrue」「"配列のすべての要素が条件を満たすなら"なのだから論理的に考えてtrueに決まっている」という当然trueであるべきという主張も飛び交っている。

まさかこんなネタがこんなに盛り上がるとはという声もあるが、スラド諸氏はどうお考えだろうか？

Dart 3リリース、ぬるぽエラーを根絶することが可能に

スラド

著者: nagazou

2023年5月15日 14:29

プログラミング言語「Dart」が10日、5年ぶりのメジャーバージョンアップ版である「Dart 3」をリリースした。「Google I/O 2023」で発表された「Dart 3」では、100％の「健全なNULL安全性」（sound null safety）が達成されたという。「Dart」では変数に「null」を代入する運用を許可することができたが、「Dart 3」ではそれが許されなくなり、nullポインター例外をはじめとするコーディングエラーを根絶することが可能となった。レコード、パターンマッチ、クラス修飾子といった新しい言語機能も用意されたほか、プレビューの段階で実用は推奨されていないものの、WebAssembly（WASM）への対応も図られている（Medium、Mediumその2、窓の杜）。

すべて読む | デベロッパーセクション | プログラミング | デベロッパー |

関連ストーリー：
プログラミング言語「Dart」に「null安全」版が登場 2020年06月18日
JavaScriptにトランスコンパイルする言語でイケてるのは？ 2020年02月19日

AWSのAIコード生成サービス「Amazon CodeWhisperer」が登場。個人ユーザーは無料

スラド

著者: nagazou

2023年4月19日 13:02

Amazon Web Services（AWS）は13日、AIを活用したコーディングコンパニオン「Amazon CodeWhisperer」が正式版になったことを発表した。Amazon CodeWhispererは、2022年にプレビュー版としてリリースされていたもので、オープンソースリポジトリ、Amazon内部リポジトリなどから収集した数十億行のコードを基にした機械学習から、プログラマが書き始めたコードの続きや、コメントの内容からコードを提案してくれるサービス。GitHub CopilotのAWS版という立ち位置であるという（AWS発表、Publickey、テクノエッジ）。

ソースコードの中で罵倒してる？

スラド

著者: headless

2023年3月19日 20:01

カールスルーエ工科大学の学生、Jan Strehmel 氏が C 言語で書かれたオープンソースコードを調べたところ、罵倒語を含むソースコードがコーディング標準により準拠していたそうだ (論文: PDF、 Ars Technica の記事)。

調査は GitHub で公開されている C 言語のオープンソースコードを用い、Strehmel 氏の所属する研究グループが開発したオープンソースのコーディング標準準拠チェックツール「SoftWipe」で 10 点が満点となる評価を行っている。対象は 300 個以上の英語の罵倒語のうち少なくとも 1 個含む 3,800 件以上のリポジトリと、罵倒語を含まない 7,600 件以上のリポジトリとなっている。

SoftWipe による評価は罵倒語を含まないリポジトリで中央値 5.41 (信頼区間 5.38-5.45、標準誤差 0.02)、罵倒語を含むリポジトリで中央値 5.87 (信頼区間 5.81-5.93、標準誤差 0.01) となり、罵倒語を含む方が 0.5 点ほど高くなっている。普段から自分の各ソースコードでしばしば罵倒語を使う指導教授の Alexandros Stamatakis 氏はこの結果を聞き、「cool」と思ったそうだ (残念)。

Strehmel 氏は同じ研究室のメンバーから Linux のソースコードに多数の罵倒語が含まれるというグラフを見せられて今回の研究を思いついたという。Linux 開発者の Linus Torvalds 氏は罵倒表現でも知られるが、Linux のソースコードでは 2018 年の Code of Conduct 更新を境に「fuck」が急減したようだ。スラドの皆さんはソースコード内で罵倒しているだろうか。

謎のプログラミング言語『DNCL』

スラド

著者: nagazou

2023年3月1日 17:10

日経クロステックの記事によると、利用するプログラミング言語で多いのはJavaやPythonだが、こうした多用されるプログラミング言語でトップ10にも入っていないプログラミング言語が、毎年50万人近く受ける試験に採用されるているという。その「謎」のプログラミング言語が「DNCL」だそうだ。DNCLは「共通テスト手順記述標準言語」と呼ばれるプログラミング言語で「大学入学共通テスト」に採用されているという。主な用途は試験で、プログラムの開発には通常使われないとのこと（日経クロステック、共通テスト手順記述標準言語 (DNCL) の説明[PDF]）。

DNCLが試験で使われたのは2002年のセンター試験からで、受験生が取り組んでいたプログラミング言語によって受験の有利・不利の差が開くと問題になるとして、大学入試センターが用意したのがDNCLだという。なおDNCLの略称は「Daigaku Nyushi Center Language」の略と言われるが正式には決まっていないとのこと。

『ゴミ荒らしカラス対策装置』、レーザーポインターを動かしながら照射しカラスを追い払う

スラド

著者: nagazou

2023年2月14日 06:07

内容自体は昨年11月掲載とだいぶ時間が経過しているネタだがとりあえず。一般社団法人未踏が主催した独創的なアイデアと技術を持つ17歳以下のクリエータを支援するプログラム「未踏ジュニア」による成果物を発表する「未踏ジュニア成果報告会」で、中学1年生の五島舜太郎氏がカラスからゴミを守るシステム「scairecrow」を開発したことが報告されている（中学1年生が開発した「カラスからゴミを守るシステム」の成果）。

「scairecrow」の開発では、カラスの習性の調査から始め、カラスは強い光や大きな音を嫌うこと、街中で大きな音をならすわけにも行かないことから、レーザーポインターを使う判断をしたという。調査でカラスの後ろ側にレーザーポインターを照射すると、カラスは逃げることを確認した。次に画像認識でカラスを識別するシステムを構築したという。カメラで映像を出力、Raspberry Piに送りOpenCVというライブラリで画像をトリミング加工、TensorFlowLiteというライブラリで物体認識をするシステムを構築したとしている。

「漫画村」創設者がプログラミングスクールを開校。「漫画村の技術全て教える」

スラド

著者: nagazou

2023年2月9日 14:05

海賊版サイト「漫画村」の創設者である星野ロミ氏が5日、プログラミングスクールを開設することをTwitter上で予告し話題になっているという。3月中旬ごろに開設する計画であるらしい。「超初心者でも5ヶ月で漫画村を作れるレベルにさせます」「漫画村の技術全て教えるけど絶対に作るなよ!?」などと煽るような告知をおこなっているようだ（星野ロミ漫画村を作って捕まった人、ITmedia）。

ITmediaの記事によると、料金は月2万円程度で講義はオンライン形式、対象年齢は小学校高学年、もしくは中学生以降を想定しているという。取り扱うプログラミング言語は初心者向けの物で調整中とのこと。なおスクレイピング含めて匿名化まで教えるとしている。当然ながらネット上ではさまざまな意見が出ているようだ。

あるAnonymous Coward 曰く、

なお、漫画村だけでなく「破産者マップ」の創設者も参加するという。

すべて読む | デベロッパーセクション | プログラミング | デベロッパー |

GitHub を利用する開発者、1 億人を超える

スラド

著者: nagazou

2023年2月2日 16:04

headless 曰く、

GitHub を利用する開発者が 1 月 25 日、公式に 1 億人を超えたそうだ (The GitHub Blog の記事、 On MSFT の記事)。

GitHub では 2018 年 11 月 8 日にリポジトリ数が 1 億件に到達しており、この時点での開発者数は 3,100 万人だった。2019 年 11 月には 2025 年までに開発者 1 億人を達成するという目標を掲げたが、2 年早く達成したことになる。

現在の開発者はテクノロジー企業のためにソフトウェアを構築する人のみにとどまらず、世界各地のさまざまな業界で働き、余暇にコードの改造や設計、ドキュメンテーションを行う人のほか、オープンソースプロジェクトに貢献する人や科学的な研究を行う人なども含まれるという。

そのため、GitHub ではすべての開発者の本拠地として機能すべく、GitHub Copilot や GitHub Next の開発を進めているとのことだ。

関連ストーリー：
GitHubのリポジトリ数が1億件に到達 2018年11月12日

和暦を正しく扱うための和暦ライブラリ

スラド

著者: nagazou

2023年2月1日 06:04

なぎせさんが「和暦を正しく扱うための暦の話」という記事を作成している。この記事は、日本では明治6年(1873)よりグレゴリオ暦が採用されているが、それ以前の年代での和暦の扱いについて注意点をまとめたものとなっている。和暦をコンピューター上で扱う場合の問題点などに関しても触れられており、コンピュータ上での扱いはISO準拠（ISO 8601）が無難としつつも、表示上は利用者の文化にあわせて表示する必要があるといったことなどが紹介されている。このほか、ユリウス暦とグレゴリオ暦の切り替わりで生じる問題点など、暦をコンピューター上で扱う上での注意点などがまとめられている。なお同氏はこの問題に対処するための和暦ライブラリも製作中だという（和暦を正しく扱うための暦の話）。

すべて読む | デベロッパーセクション | プログラミング | デベロッパー |

「プログラミングをするプログラマー、需要が激減か…すでにノーコードが当たり前に」という記事が炎上

スラド

著者: nagazou

2023年1月19日 17:02

あるAnonymous Coward 曰く、

Business Journalが1月15日に「プログラミングをするプログラマー、需要が激減か…すでにノーコードが当たり前に」という記事を掲載したのだが、どこの世界の話だと、当然のようにSNS上でプログラマー陣から総ツッコミを受けているようだ（はてなブックマーク）。

この記事では「エンジニアの仕事はAIを駆使することにシフトしてきている」として「現在のIT業界では、コーディングAIが台頭し始めており、エンジニアという仕事はそのAIを駆使し、場面ごとに使い分ける仕事に変わりつつあります」とIT業界の仕事の内容が変化していることを紹介。また「具体的には、『こんなコードを書いてほしい』とテキスト文章を書くだけでAIが自動的に判断し、お題に沿った最適なコードを生成してくれます」とプログラミング用AIの進化を紹介した。また小学校などのIT教育でも、「Scratch」を使ってノーコードでプログラミングの流れを学んでいると解説している。

プログラマーが多いスラド諸氏なら既に？？？という感じだろうが、SNS上でも「どこの異世界のはなしだよ・・・」「そんなAIがあるなら是非とも使いたいから実例教えてくれ」「Scratch はコード。あからさまな間違いを指摘するだけでお腹いっぱい」などと総ツッコミ状態になっている。AIの進化は著しいがことプログラミングの分野ではまだまだ力不足に見えるが、この記事どうしてこうなった？

「競技プログラマーハンドブック」和訳される

スラド

著者: nagazou

2023年1月13日 08:02

Antti Laaksonen氏の作成した「競技プログラマーハンドブック（原題：Competitive Programmer’s Handbook）」が和訳され、1月7日からGithub上にて公開されている。同書は、競技プログラミングの入門のために執筆されたもので、アルゴリズムを学んでおり、国際情報学オリンピック（IOI）や国際大学対抗プログラミングコンテスト（ICPC）に参加したいと考えている学生を対象とした内容となっている（Akira KANAI氏のツイート、競技プログラマーハンドブック[PDF]、GitHub - recuraki/cphb-ja: (JA)Competitive Programmer's Handbook）。

翻訳をおこなったAkira KANAI氏のツイートによると、基本的テーマから発展的テーマが300ページ超に渡って触れられている内容で、『「こんなのあるんだ!」という皆様のわくわくの助けになれば幸いです』としている。なお原著に関してはCreative Commons(NC-SA4.0)ライセンスで公開されているとのこと。

すべて読む | デベロッパーセクション | プログラミング |

12 月の TIOBE Index、C++ が初めて Java を上回る

スラド

著者: headless

2022年12月11日 19:30

12 月の TIOBE Index で、C++ が初めて Java を上回った (The Register の記事)。

C++ は長年、Java と C の 2 強に続く 3 位をほぼキープしてきたが、近年は Python の上昇により 4 位に押し出されていた。しかし、この 2 年ほどは徐々にレーティングを伸ばしており、12 月は前年同月から 4.21 ポイント増の 11.94 %。1.70 ポイント増で 11.82 % の Java をわずかに上回って 3 位に再浮上した。

2015 年からトップを走っていた Java は 2020 年に入って急速にレーティングを落として C に抜かれ、続いて Python にも抜かれて 3 位に落ちていた。Python はその後 C を抜いて 1 位に上昇しており、12 月は前月から減少したものの 2 位の C とは 0.1 ポイント差の 16.66 % で 1 位を守った。前年同月比ではトップ 4 いずれも増加しているが、Java だけが停滞傾向となっている。

5 位の C# は 1.48 ポイント減 (4.92 %)、6 位の Visual Basic は 1.46 ポイント減 (3.94 %) と大幅に減少した。7 位以下の増減幅は小さく、増加幅が最も大きいのは JavaScript の 0.90 ポイント増 (3.19 %、7 位)、減少幅が最も大きいのは Swift の 0.86 ポイント減 (0.91 %、15 位)。なお、2022年を代表するプログラミング言語の座はPythonとC、C++の争いになっているとのことだ。

Stack OverflowがChatGPTによる回答を禁止、大量のもっともらしい回答に対処できず

スラド

著者: nagazou

2022年12月7日 18:05

あるAnonymous Coward 曰く、

複雑な問いかけにも回答するチャットAI「ChatGPT」がテスト公開され注目が集まっているが、プログラミングの質問・回答サイト「Stack Overflow」は6日、早くもこのChatGPTを使った回答を禁止する方針を発表した（Stack Overflowの発表、ITmedia、GIGAZINE、ZDNet Japan）。

ChatGPTは正しい回答もするが、開発元のOpenAIも認めているように「もっともらしく聞こえるが、不正確な回答や意味不明な回答」をすることも多々あるという。Stack Overflowでは「一番の問題は、ChatGPTが生成する回答は不正確である確率も高いのに、適切であるように思われることが多く、回答が非常に容易に生成されることだ」といった議論の末、サイトとユーザーにとって「おおむね有害」であると結論。ChatGPTを使用した投稿を一律禁止することを決定したとのこと。

ソースコードを書くのは単純作業？

スラド

著者: nagazou

2022年12月6日 07:04

あるAnonymous Coward 曰く、

GitHub日本法人の記事によるとヤマト運輸のDX推進を担当する中林紀彦執行役員曰わく、「これまでの内製化はアウトソーシングからの見直しが主体でした。これからは、アーキテクチャのデザインや、GitHubを活用したソースコードのガバナンス・標準化が実行可能なメンバーによるコアな開発は内製化し、ソースコードを書くなど単純な作業は外部に委託するなど柔軟な対応が必要です」らしい（ITmedia）。

後日、記事は修正され、「これまでの内製化はアウトソーシングからの見直しが主体でした。今後は、アーキテクチャのデザインやGitHubを活用したソースコードのガバナンス・標準化が実行可能なメンバーによるコアな開発は内製化しつつ、短期的にリソースが足りない部分は外部に委託するなど柔軟な対応が必要になります」と書き換えられた。

通常このような記事は録音を元に書き起こされるものであるが、本当はどのような発言があったのだろうか。

すべて読む | デベロッパーセクション | プログラミング | デベロッパー |

Microsoft、Outlook REST APIの廃止を延期

スラド

著者: headless

2022年11月26日 13:32

Microsoft は 11 月 23 日、Outlook REST API v2.0 および Beta エンドポイントの廃止を延期すると発表した (Exchange Team Blog の記事、 Neowin の記事)。

Outlook REST API は Outlook.com や Office 365 などのメールボックスデータにアクセスする API。Microsoft は幅広いサービスに対応可能な Microsoft Graph への移行を進めており、2022 年 11 月 30 日に Outlook REST API を廃止すると 2 年前に発表していた。

しかし、顧客やパートナーからのフィードバックを受けて、廃止の延期を決めたという。現時点で新しい廃止時期は決まっていないが、Microsoftでは 2023 年中の廃止を目指しており、エンドポイントをブロックする前に 6 か月の猶予期間を設けるとのことだ。

GitHubが「2022年に最も使用されたプログラミング言語ランキング」を発表

スラド

著者: nagazou

2022年11月21日 18:10

GitHubが、2022年に同プラットフォーム上で使用されたプログラミング言語に関する統計データを発表した（GitHub、GIGAZINE、Publickey）。プログラミング言語トップ10は以下の通り。

:JavaScript
:Python
:Java
:TypeScript
:C#
:C++
:PHP
:シェルスクリプト
:C言語
:Ruby

なお2022年に最も使用されたプログラミング言語は「JavaScript」で、最も伸びたプログラミング言語は「HCL(HashiCorp Configuration Language)」、使用率が減少したプログラミング言語は「PHP」だったとしている。HCLが増えているのはープンソースのソフトウェアツールであるTerraformとIaCプラクティスの人気が高まりが一因であるらしい。なお、前年比での使用率が最も増加したプログラミング言語は次の通りとなっている。

:HCL(成長率56.1％)
:Rust(成長率50.5％)
:TypeScript(成長率37.8％)
:Lua(成長率34.2％)
:Go(成長率28.3％)
:シェルスクリプト(成長率27.7％)
:Makefile(成長率23.7％)
:C言語(成長率23.5％)
:Kotlin(成長率22.9％)
:Python(成長率22.5％)

すべて読む | デベロッパーセクション | プログラミング | デベロッパー |

NSA、可能な限りメモリ安全なプログラミング言語を使うことを推奨

スラド

著者: headless

2022年11月13日 20:27

米国家安全保障局 (NSA) は 10 日、メモリ安全性の問題に対応するためのガイダンスを公開し、可能な限りメモリ安全なプログラミング言語を使用するよう推奨した (プレスリリース、 The Register の記事、ガイダンス: PDF)。

Microsoft は 2019 年、過去 12 年間の Microsoft 製品の脆弱性は 70 % がメモリ安全性に起因すると述べており、Google も 2020 年に Chromium の重大な脆弱性の 70 % がメモリ安全性に起因すると述べていた。

広く使われているCやC++などの言語はメモリ管理の自由度が高い一方で、必要なメモリ参照の確認はプログラマーに強く依存する。ソフトウェア解析ツールを使用すればある程度の保護は可能になるが、メモリ安全な言語はそれ自体がメモリ管理の問題の多くに対応可能な保護機能を提供する。そのため、可能な場面ではメモリ安全な言語の使用が推奨されるとのこと。メモリ安全な言語の例としては、C#・Go・Java・Ruby・Rust・Swift が挙げられている。

「東方Project」初期のPC98作品をリバースエンジニアリングするプロジェクト

スラド

著者: nagazou

2022年11月1日 06:16

microwavable 曰く、

言わずと知れた同人ゲーム(今もそうなのか？)東方シリーズの初期作品を海外有志がリバースエンジニアリングするプロジェクトが進行中だそうな（Github、GIGAZINE）。

作者であるZUN氏の元にもソース等が現存していない、と氏が公言している(要出典)ことから、バイナリを元に再現を…という話だそうだけど、このプロジェクトはZUN氏の耳には入っているのだろうか。存命の人物の著作物の非公式(と思われる)リバースエンジニアリングっていうのがどうも気になる。

オフラインでStack Overflowでの調べものを可能にするOverflow Offline

スラド

著者: headless

2022年10月23日 11:52

Stack Overflow は 20 日、インターネットが自由に使用できない環境でも Stack Overflow での調べ物を可能にする Overflow Offline プロジェクトを発表した (Stack Overflow Blog の記事、 The Verge の記事)。

Overflow Offline は同様の趣旨でウェブサイト全体の圧縮コピーを作成・提供する非営利組織 Kiwix との提携により実現したものだ。Stack Overflow がプロジェクトに着手したのは 2019 年秋。既にKiwix は Stack Overflow のイメージを提供しており、Wikipedia に続く人気データセットとなっていたが、2018 年から資金難によりイメージが更新できない状況にあったという。

このことを知った Stack Overflow は過去 2 年間にわたって資金・技術の両面で Kiwix をサポートし、更新を妨げていた問題をクリアするだけでなく、データのユーザビリティを改善するためのリソースも提供したとのこと。Kiwix では Sotoki (Stack Overflow to Kiwix) と呼ばれるスクレイピングツールを作り、Stack Exchange の全 180 サイトをキャプチャーできるようになっているそうだ。

Overflow Offline が特に有益な 3 つのユースケースとして、青少年矯正施設でのプログラミング学習と南極の遠隔地に設置された調査拠点でのプログラミング、インターネット接続が不安定な地域でのプログラミング学習 (学校の授業や家庭での宿題) が挙げられている。

南極では研究で大量の Python コードを書く必要のある IceCube Neutrino Observatory が Stack Overflow を調べものに使用しており、研究者が年に 1 回自由にインターネットアクセスが可能な基地まで行ったときに新しいデータをダウンロードしているとのことだ。

すべて読む | デベロッパーセクション | プログラミング | デベロッパー |

日本語で指示を入力すると、コードを生成するAIが登場

スラド

著者: nagazou

2022年10月5日 13:29

yume 曰く、

有限会社ASRealは「AI Programmer」を発表した（窓の杜）。
日本語で指示を入力すると、コードを生成するAIだそうだ。

現在対応する言語は以下11種。
・SQL
・Python
・HTML & CSS
・スマートコントラクト
・C++
・PHP
・Go
・R
・Perl
・Ruby
・正規表現

試しに「2次元座標上で、任意の2つの座標を指定すると、その中間の座標を返す関数」のような指示をすると、ちゃんと機能するコードを生成した。

一方、「テトリスを作って」というような、ざっくりとしすぎる指示はうまく処理してくれなかった。

すべて読む | デベロッパーセクション | 人工知能 | プログラミング |

リーディングビュー