ノーマルビュー

国立大志願者は原則「情報」受験へ。1月にも決定

著者: nagazou
2021年11月16日 14:10
大学入学共通テストの出題教科に2025年から「情報」が追加される予定だが、国立大学協会は12日、その決定を来年に先送りすることを決めた。理由は大学入試センターの浪人生への対応が未定であるためだとしている(読売新聞朝日新聞)。

新たに追加される入試科目「情報」では、22年度から高校で必履修科目になる「情報I」から出題される。しかし、それ以前の世代の浪人生に関しては、情報Iに関する知識がないことになる。このため、「情報Ⅰ」の問題のなかに浪人生向けの選択問題を入れるか、別の科目として出題するのかといった対応方針で議論がまとまらないようだ。

国立大学協会の永田恭介会長は「大学間の差をつくらないように実施すべきだ」と主張しており、来年1月にも原則「情報」試験を国立大が課すことを決定する見通しだと読売新聞の記事には掲載されている。

すべて読む | デベロッパーセクション | 日本 | プログラミング | 教育 | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
共通テスト、大学からの手数料を2年後に倍増へ。大幅赤字の予想から 2021年04月13日
鼻出しマスクの受験生、逮捕されていたことが判明 2021年01月19日
大学入学共通テスト、鼻出しマスクで注意受けても直さず。失格に 2021年01月18日
大学入試の試験場においては入場時に検温を実施しないこと。大学入試センター 2021年01月06日
大学入学共通テストに「情報」教科が新設される 2020年10月22日
大学入学共通テストの記述式問題導入、白紙に 2019年12月18日

Visual Studio 2022が正式にリリース

著者: nagazou
2021年11月10日 14:06
マイクロソフトは8日、統合開発環境「Visual Studio」の最新版「Visual Studio 2022」を正式にリリースした。Visual Studio 2022は、シリーズ初の64ビットネイティブなソフトウェアとしてリリースされ、これにより大容量メモリへの対応と高速化が実現されている(Visual Studio BlogPublickeyCNETASCII.jp)。

発表イベントに登壇したMSプログラムマネジメント CVPのアマンダ・シルバー氏は、Visual Studio 2022は大規模システムの開発においてもパフォーマンスを発揮するとしている。また実行中のアプリケーションに対して迅速にコードを反映できる「ホットリロード」機能も強化された。Visual Studio 2022では、ほぼすべてのアプリでホットリロードが可能になったとしている。また同日に発表となったNET 6にも対応している。

すべて読む | デベロッパーセクション | マイクロソフト | プログラミング | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
Visual Studio Codeが天下統一へ 2021年07月27日
Visual Studio 2022が発表。64bit化され4GB制限がなくなる 2021年04月28日
Arm版Windows 10向けにx64エミュレーションが登場。11月公開のテストビルドに搭載 2020年10月06日
GitHub、ブラウザ上でVisual Studio Codespaces相当の機能を利用できる「GitHub Codespaces」を発表 2020年05月08日
Microsoft、Visual Studio OnlineをVisual Studio Codespacesに名称変更 2020年05月04日

ドキュメントがほぼない場合のリファクタリングには一般プログラマとは別の技能が必要

著者: nagazou
2021年10月25日 18:09

魔女みならいさんの(魔女みならいさんのツイートTogetter

仕事先で、「開発したプログラムのコード整理に雇った人が使えない」って話がでてるのだけど、「今は組織にいない人が作った、ドキュメントがほぼないソースコードを読み下して整理する」って、かなり知識が必要だから、普通のプログラマ案件の金額で雇える人に頼むのは無理だと思うんだよなあ。

というツイートが多くの共感を呼んでいる。このツイートに対して、自分では使わない書き方も知ってないと解読できない、これは普通のコーダーには無理と言った意見が出ている。普通にプログラム作るよりもコードを読み取る読解力というか考古学レベルの能力が必要で、プログラムとは別の能力であるとの指摘も出ている。結局は書き直したほうが早いとする意見になることが多いようだ。

すべて読む | デベロッパーセクション | プログラミング | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
GitHub Copilot がブロックする語句のリスト 2021年09月07日
Electronic Artsのデータ侵害、スタッフのPCから盗まれたcookieが入り口に 2021年06月13日
メルカリで不正アクセスによる情報流出。顧客情報やソースコードなど 2021年05月26日
Windowsのビルド番号情報サイトBuildFeedが閉鎖 2019年01月18日
Linux 4.2-rc1、追加されたコードは100万行以上 2015年07月10日
リファクタリングしてもコードの質は改善されないという実験結果 2015年03月05日

コロナ禍でプログラミングスクールの客層に変化

著者: nagazou
2021年10月21日 18:05
とあるプログラミングスクールの元講師によると、コロナ禍の影響でプログラミングスクールに入る生徒の客層が大幅に変わったところもあるようだ。コロナ渦以前では生徒側にECサイト構築やアプリを作りたいといった具体的な目標があるものが多かったという(プログラミングスクールの講師を2年間続けて限界が来て辞めた話)。

しかし、コロナ禍の影響によりリモートワークが増えてきた頃から、プログラミングスクール側がリモートワークで家にいる人たちを取り込もうと「好きな時間に働ける!」や「高単価、高時給!」といった広告を打つようになったという。その結果、客層が大きく変化、プログラミングを稼ぐ手段とするためにスクールに入る人が増加したそうだ。

それによりローマ字って何?、アプリの入れ方はといったパソコンスクールレベルのユーザーが増加。しかしそうして入った人も講師側が宿題を出しても仕事が忙しいといった理由で手を付けてこないことも多かったそうで、元記事の講師は仕事を辞めることになったとしている。

すべて読む | デベロッパーセクション | プログラミング | 教育 | 広告 | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
未経験からエンジニアになりたい人を狙った情報商材ビジネス、マルチ商法的に拡大か 2021年07月27日
無料キャンペーン期限をJavaScriptで自動更新していたプログラミングスクール、景表法違反もろもろで炎上 2018年10月18日
「メイドさん」とプログラミングを学べるプログラミング教室 2017年09月27日
マインクラフトを用いた教育・学習イベント「Minecraft x Education 2015」開催 2015年08月02日
ハイテク起業家はプログラミングを知らなければならない? 2012年09月10日

全国高等専門学校プログラミングコンテストで審査をめぐり議論

著者: nagazou
2021年10月15日 18:48
全国高等専門学校プログラミングコンテストの審査をめぐって意見の対立が起きている。原因はライブラリをめぐる考え方の違いにあるという(まとめまとめ)。

あるAnonymous Coward 曰く、

まずはプレゼン動画を見てほしい。時間がない人は質疑応答部分だけどうぞ。

問題となっているのは主に「審査員の態度」、「自作部分が少ないことを審査員が批判した」の2点。前者は相手が学生であることを考えると、ちょっと擁護は難しい。(いや、相手が社会人でも駄目ですけどね)
後者は、「ライブラリを組み合わせるだけのもの = 新規性がない」という考えから来ているように思う。
個人的には、ライブラリを組み合わせるだけでもアイデア次第で新規性のあるものは作れると思っているが、こういうコンテストに出たことがないので、正直そういう世界での評価基準はよくわからない。
皆さんはこの件をどう考えますか。

すべて読む | Slashdotに聞けセクション | プログラミング | スラドに聞け! | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
ゲーム企画コンテストPERACONにおける審査員の問題 2020年09月15日
U-22プログラミング・コンテスト2019、独自の言語を開発した15歳が経済産業大臣賞を受賞 2019年10月24日
ツッコミどころ満載の設定のプログラミングイベント 2013年12月02日
日本OSS貢献者賞、日本OSS奨励賞、2009年度受賞者が発表される 2009年10月26日
ロボカップ2009グラーツ世界大会のロボカップジュニア レスキューチャレンジプライマリー部門優勝者は小学4年生 2009年07月16日

記者は技術を学ぶべきか

著者: nagazou
2021年10月12日 18:09
あるAnonymous Coward 曰く、

新聞記者がプログラミングを学ぶべきかどうかという記事「新聞記者がプログラミングを学ぶ意味はあるか」が公開されている。この記事は記者が技術を学ぶことを必ずしも評価していないようだが、先日は「バッチ処理とCOBOLは時代遅れ」とする記事に対し、執筆者の知識を疑問視する声が上がった。技術的な記事を書く人間はある程度の知識は必要だと思うがどうだろうか(日経クロステック)。

すべて読む | デベロッパーセクション | メディア | プログラミング | 教育 | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
バッチ処理とCOBOLは時代遅れ? 2021年09月21日
GitHub、関数名やコメントからコードを生成・提案する「GitHub Copilot」を発表 2021年07月02日
プログラミング言語を一つ学んだら別の言語も簡単に習得できるという考えは正しいのか? 2021年06月29日
発売直後のSwitch用「はじめてゲームプログラミング」でマリオやパックマンが速攻で再現される 2021年06月25日
任天堂、Switch用プログラミング学習ソフトを6月発売 2021年05月09日
Python 30周年 2021年02月21日
マイクロソフト、人間のアプリ操作を記憶させて作業の自動化を行う「Power Automate Desktop」のプレビュー版公開 2020年09月28日
セガが「ぷよぷよ」のソースコードを使ったプログラミング教材を公開 2020年06月29日

アップル、Arm技術と競合する「RISC-V」のプログラマーを募集

著者: nagazou
2021年9月16日 13:04
Appleが同社の採用しているArmアーキテクチャーと競合する「RISC-V」のプログラマーを求人しているという。この求人は9月3日に公式サイト上で募集されたもので、Vector and Numerics Groupという部署によって行われているようだ。このグループではiOS、macOS、watchOS、tvOS上で実行されるさまざまな組み込みサブシステムの設計、拡張、改善を担当しているそうだ。この求人を読む限り、AppleがRISC-Vアーキテクチャに対応したiOS、macOS、watchOS、tvOSの開発やそれに関連したハードウェアの開発をしているようにも見える(Apple求人CNET)。

すべて読む | アップルセクション | ハードウェア | プログラミング | アップル | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
命令数を4種類に限定することでIoT向けに最適化したCPUアーキテクチャ「SubRISC+」 2021年02月24日
RISC-V Foundation、地政学的リスクを避けるためスイス法人設立・移転へ 2019年11月29日
理研、創薬専用スパコンを開発。プロセッサの一部にRISC-Vを採用 2019年11月26日
MIT、カーボンナノチューブ半導体で16bit RISC-Vプロセッサを作成 2019年09月03日
ARM、「アンチRISC-Vサイト」を立ち上げていた 2018年07月18日
今こそ「オープンプロセッサ」について考えるとき 2018年01月26日

GitHub Copilot がブロックする語句のリスト

著者: nagazou
2021年9月7日 16:04
headless 曰く、

GitHub Copilot が処理を拒否する語句が解析され、リストが公開された(The Register の記事)。

Copilot のテクニカルプレビューには侮辱的な語句をブロックするフィルターが含まれると GitHub は説明しているが、具体的な語句のリストは公開されていない。そのため、ニューヨーク大学の Brendan Dolan-Gavitt 氏は Visual Studio Code の Copilot 拡張機能に含まれるブロック対象語句のハッシュ値を抽出し、語句の解析を行ったという。

公開されたリストには 1,025 の語句が含まれ、うち 1,023 語句がデコードされている。ただし、侮蔑語のリストをそのまま公開してしまうことを避けるため、リストは ROT13 でエンコードされている。ROT13 はアルファベットの前半 13 文字を 13 個分後ろのアルファベットに置き換え、後半 13 文字を 13 個分前のアルファベットに置き換えるというものだ。

リストの語句は大半が侮蔑語だが、「boy(s)」「girl(s)」「female(s)」「male(s)」「man(men)」「woman (women)」「ethnic」「gender(s)」「immigrant(s)」「nationality」といった普通の単語も含まれる。また、地名としては「Gaza」「Israel」「Palestine」が含まれている。このほか、「q rsqrt」「qrsqrt」は Quake III のソースコードに含まれる逆平方根を計算する関数「Q_rsqrt」を指すとみられる。Copilot ではこの関数をそのまま再現することが確認され、話題となった。

なお、リストでは 1,170 個の侮蔑語のうち 1,168 個をデコードしたとの説明がみられるが、これは単語 2 つの組み合わせによる熟語(145個)をそれぞれ 2 個として数えたもののようだ。これにより延べ 1,170 個となるが、重複する単語も含めた数となる。

すべて読む | デベロッパーセクション | 人工知能 | プログラミング | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
宝塚版「シティーハンター」、例の単語はハッスルに変更 2021年08月10日
IBM、包括的IT用語への置き換えを推奨・非推奨とする用語リストを公開 2021年04月14日
中国のSNSで「株式市場」という単語が禁止された可能性 2021年03月11日
YouTubeの生放送で漢字読み間違えをした結果、グループアイドル1名が活動休止に 2021年02月05日
iOSで成人向けWebサイトへのアクセスを制限すると「Asian」や「teen」がGoogle検索できなくなる 2020年02月23日
米連邦最高裁、不道徳な表現やスキャンダラスな表現の商標登録禁止は憲法違反と判断 2019年06月29日
米政府、乳製品以外の食品で「milk」という単語を使用禁止する計画 2018年07月21日
中国のSNS「微博」で「JavaScript」という単語が検閲対象に 2017年07月18日

NHK記者、小さなプログラムをたくさん書いて現場の労力を減らす

著者: nagazou
2021年9月3日 18:46
NHKの記者も現場での労力を減らすためコードを書くことがあるという。多用されることの多い日本地図の中にCOVID-19の新規感染者数を示す「NHK感染者マップ作画システム」を制作したのは記者なのだそうだ。これがなかった場合、エクセルなどのデータを作画の担当者に送り、画像ソフトで手動入力するという形が必要だったらしい。感染者数は数字が修正されることも多く、こうしたシステムは必要な状況だったとのこと(NHK)。

記者がプログラミングのスキルを習得するまでの過程は、元記事を読んでいただいた方がいいと思うが、結局、現場の小さなミスや効率の悪さを改善するためコードを書く機会が増えたとしている。ただ、この記事が上がったあと、結構反響や意見があったそうだ。

その中で特定の人のスキルに依存してしまう「属人化が課題」とする指摘も複数あったとのこと。記者はその通りだとしつつも、属人化するからという理由で開発そのものに着手しないよりも、継続性は後で考えてまずは始めてみるほうがよいのではと話している。

すべて読む | デベロッパーセクション | プログラミング | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
システム保守運用現場のひどい実態、解決策は「撤退」「転職」 2017年12月27日
スラッシュドットに聞け:ソフトウェア開発の現場で設計書は必須か 2015年03月03日
コンピューターサイエンスの学位を取るよりも、コードを学ぶことの方が重要? 2014年09月06日
現在学ぶべき、迅速な開発ができる言語は? 2014年06月18日
異動の結果、大幅に増えた空き時間に何をすればいい? 2013年06月16日

アニメ「Sonny Boy」の『難解』プログラム、寄稿者本人による解説

著者: nagazou
2021年8月16日 14:30
現在テレビで放映中のアニメ「Sonny Boy」の作中に登場するプログラムについての解説が、プログラムを提供したまめめも氏のブログに掲載されている。このプログラムは「難解」という文字が毛糸のセーターを引っ張るようにほどけてなくなるアニメーションをする(まめめも氏のブログ動画)。実際のプログラムについてもGitHub上で公開されているとのこと。記事ではなぜ制作することになったかや技術的な部分などについても紹介されている。

すべて読む | デベロッパーセクション | プログラミング | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
ロシア・モスクワ地下鉄、顔認識技術による運賃精算サービス「Face Pay」のパイロットプログラムを開始 2021年08月09日
文部科学省、卓越した能力を持つ子供「ギフテッド」への教育支援を議論へ 2021年07月15日
自動車窃盗グループが盗難にガラケーを活用。プリウス盗難が多いの理由は触媒目当て 2021年07月14日
ドラゴンクエストIVの「8逃げバグ」の話題が掘り返される 2021年05月21日
最恐のウイルスと呼ばれた「Emotet」終息の日を迎える 2021年04月27日
米軍の次世代戦闘機は80年代縦スクロールシューティング風? 2021年04月17日

Visual Studio Codeが天下統一へ

著者: nagazou
2021年7月27日 13:03
あるAnonymous Coward 曰く、

戦国時代だったテキストエディタ界をVisual Studio Codeが天下統一しつつあるそうだ。

Stack Overflowの調査によると、Visual Studio Codeの人気は2018年の35%から2019年には51%に達し、他のエディタが越えられれなかった40%のラインをオーバーしてきたとのこと。また、記事ではVisual Studio Codeを「テキストエディタの進化の最終地点」と評価している。

エディタ戦争というと長らくEmacs vs VI (最近はvim)が語られていたが、これらの「初期のエディタ」は「コピーやペースト、アンドゥなどの機能を利用するのに独自の方法を使うなど、新たに使い始めるにはハードルが高い」と評価している。人気度もEmacsが4~5%、vimが25%程度とVisual Studio Codeには及んでいない。

すべて読む | オープンソースセクション | オープンソース | マイクロソフト | プログラミング | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
GitHub、関数名やコメントからコードを生成・提案する「GitHub Copilot」を発表 2021年07月02日
マイクロソフトのリポジトリにアクセスするRaspberry Pi OSに一部からブーイングが出る 2021年02月16日
Arm版Windows 10向けにx64エミュレーションが登場。11月公開のテストビルドに搭載 2020年10月06日
VSCodeの対抗馬というIDE「Eclipse Theia」登場 2020年04月08日
Visual Studio Codeの「サンタ帽アイコン」に対し宗教的な抗議、その対応で炎上 2019年12月23日

GitHub、関数名やコメントからコードを生成・提案する「GitHub Copilot」を発表

著者: nagazou
2021年7月2日 18:45
GitHubは6月29日、開発者のコード作成を支援するためのAIプログラミング機能「GitHub Copilot」を発表した。開発者の生産性を向上させる目的のもので、関数名とコメントから関数のコードを丸ごと自動補完するなどの提案も行えるという。Microsoftの「Visual Studio Code」および「GitHub Codespaces」向けの拡張機能として提供されるとしている。登録を行うとテクニカルプレビュー版の招待が受けられるようになるとしている(CNBCITmediaTechCrunch)。

GitHub CopilotはOpen AIと提携してこのツールを開発したという。このAIは何十億行ものコードを使って訓練を受けており、コードを書き進めていくと途中でGitHub Copilotからコードの提案が行われるという。開発者はそうした提案を受け入れたり拒否したりできるとしている。

一方でこのOpen AIの学習にはGitHub上にあるGPLコードも使われていると見られ、GitHub Copilotがプロプライエタリコードを利用している扱いとなり、GPLに違反する可能性もあるのではないかとする指摘も出ている模様(eevee氏のツイート)。

あるAnonymous Coward 曰く、

現在はテクニカルプレビューだが、将来的にはこの機能をベースにした商用製品の発売を予定しているという。ただし関数名やコメントは「平易な英語で」記述する必要があるため、日本人プログラマーが活用するのにはまだ難しいだろう。

すべて読む | デベロッパーセクション | オープンソース | 人工知能 | プログラミング | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
GitHub、動画アップロード機能を正式提供開始 2021年05月17日
IronPython、Python3に対応したバージョン「IronPython 3」を公開 2021年04月27日
超一流プログラマーになるには3万時間のプログラミングが必要 2021年04月08日
PHP、不正なコミット発生を受けてリポジトリをGitHubへ移行 2021年03月31日
Excelの数式を元にしたプログラミング言語「Microsoft Power Fx」が発表される 2021年03月05日
GitHubのページをオンラインVSCode版で表示可能な「GitHub1s」 2021年02月12日

プログラミング言語を一つ学んだら別の言語も簡単に習得できるという考えは正しいのか?

著者: nagazou
2021年6月29日 15:03
ミシガン大学教授のMark Guzdial氏は、同業のコンピューターサイエンス(CS)の教育者二人から、最初のコースでプログラミング言語を気にする必要はない。学生が概念をしっかり学んでいれば、次に学ぶ言語では最初に学習した言語の知識を応用できるとする意見を聞いたという。しかし、Mark Guzdial氏本人は、過去の経験などから二つ目の言語習得はそう簡単ではないとして、先の二人とは異なる考えを持っている(Mark Guzdial氏のブログGIGAZINE)。

LISPやMICRO-PLANNERのように、基本的な概念が全く異なる第二言語の学習は、第一言語の学習と同等かそれ以上に難しい可能性が高い。学生がデータサイエンティストになりたいのであれば、C言語を学ぶよりもRやPythonを学ぶ方が合理的だ。こうしたことから、Mark Guzdial氏は、「なぜ最初に学ぶプログラミング言語は重要ではない」という考え方が定着しているのか考えるようになったそうだ。 同氏の考えとしては、1960年代後半にCSカリキュラムが定義されたとき、プログラミングの数学的基盤に重点が置かれていた。このため、現在教育者になってるような人は、現代の学生と比較すると数学的に強い基盤を持っている。このため、言語の違いは表記法の違いに過ぎないと考えているのではないかとしている。

すべて読む | デベロッパーセクション | プログラミング | 教育 | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
自然言語に関する適応能力が高いとプログラミング言語も効率よく学習できる? 2020年03月18日
新石器時代以降の食物の変化が音声言語を変化させたという研究結果 2019年03月17日
若者をCOBOLエンジニアとして育てることの是非 2017年10月30日
リクルートの「2016年おすすめプログラミング言語」、1位はJava 2016年06月24日
脳に電気刺激を与えることで学習能力をアップさせられる? 2016年03月07日

証明支援システムCoq、新しい名称を検討中

著者: nagazou
2021年6月17日 18:04
headless 曰く、

証明支援システムのCoqが新しい名称の検討を4月から進めているそうだ(The Registerの記事GitHubのプロジェクトページ)。

Coqという名称はフランス語の雄鶏や料理人を指す単語のほか、CoC(Calculus of Constructions)や最初の開発者の一人であるThierry Coquand氏からとったものだ。英語で雄鶏を示す単語「cock」と発音も同様だが、この単語が男性器を指す言葉としても使われることから、ユーザーが気まずい思いをすることもあるようだ。

現在のところ、Coqの名称はそのままに発音を変える(シーオーキュー/コーク/クック)ものや、フランス語であることを強調(Le Coqなど)するもの、文字を追加して長くする(Coqpit/PeaCoq/Coquandなど)もの、鶏や開発者にちなんだCoqとは異なる名称(Gallo/Poussin/Thierryなど)が代替案として検討されている。

ただし、発音の変更やCoqを含む長い名前の場合、結局「Coq」と呼ばれ続けてしまう可能性もある。また、Coqをフランス語でスペルアウトした発音(セオキュ)があまりよくないことや、「Le」がミームなどで非フランス語話者がフランス語風の表現を作るステレオタイプ的表現である点も指摘されている。

なお、プロジェクトは引き続き代替案や意見を募集しているが、今回The Registerの記事でCoqを初めて知った人の意見は役に立たないので口を出さないでほしいとのこと。スラドは特にそのような制約はないので、自由にコメントしてほしい。

すべて読む | デベロッパーセクション | プログラミング | idle | デベロッパー | 数学 | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
まつもとゆきひろ氏が新言語「Streem」を開発中 2015年01月25日
プログラミング言語がソフトウェアの品質に与える影響 2014年11月08日
Coq 庵 - Coq プログラマのアンカンファレンス in 名古屋 (8/29) 2010年07月14日
関数型プログラミング言語「Agda」の研修コースを産総研が開催 2009年09月24日

MicrosoftのC#コーディング規約に「privateフィールドにはプレフィックス」と追記されて混乱を呼ぶ

著者: headless
2021年5月16日 18:08
あるAnonymous Coward 曰く、

C#のコーディング規約として一番権威あるのは本家Microsoftのものだと思われるが、そのページに、いつの間にか「private/internalフィールドには _ プレフィックス」「private/internalなstaticフィールドには s_ プレフィックス」「ThreadStaticの場合は t_ プレフィックス」を付ける必要がある(should)という項目が追加され、C#er達が大混乱に陥っている(C#のコーディング規則発端となったツイート)。

C#においては、後発のUnityがプレフィックスを付ける文化を持っている一方、本家のC#においては、プレフィックスを付けずに this. で参照する文化があり、StyleCop.Analyzersなどのスタイルチェックもこれをデフォルトとしている。また、2010年頃のプログラミング書籍では「メンバー変数にプレフィックスを付けるのはIDEが未発達の頃の名残で、IDEが発達した現代では不要」としてプレフィックスを付けないことが推奨されていたと記憶している。

今回の記述はそうしたこれまでの流れと真っ向から対立するもので、Twitter上ではアンダースコア派が歓喜する一方、this派からは大ブーイングが起こっているようだ。ただし、この規約が書かれたのは6年前でそれが今になって反映されただけといったコメントもあるなど、なんでこうなったかはよく分からない。

元となったコーディング規約はオープンソースの.NETランタイム貢献者向けに書かれたものであり、C#開発者一般に向けたものではない。日本語版にはまだ反映されていないが、英語版には「.NET Runtime, C# Coding Style」から取り入れられたものであることが明記され、使いたければ使えばいいという感じになっている。「s_」「t_」の使用はハンガリアン記法を使用しないよう求める.NETの一般的な名前付け規則に反するが、この点は解決されていない。

なお、元のコーディング規約では「this.」について、「どうしても必要な場合を除いて避ける」と記載されている。

すべて読む | デベロッパーセクション | オープンソース | マイクロソフト | プログラミング | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
Linuxカーネルのコーディング規約、包括的用語使用のガイドラインが追加 2020年07月12日
Linuxカーネルのコーディング規約、1行80桁の制限を撤廃 2020年06月04日
「 いいコーディング規約、悪いコーディング規約?」2019年版 2019年07月25日
Microsoft、ソースコードのコーディング規約を自動推論する技術を開発・プレビュー公開 2018年07月25日
Windows版のChrome 64以降はClangでコンパイルされている 2018年03月10日
Microsoft、オープンソースの.NET実行エンジン「CoreCLR」を公開 2015年02月08日
オープンソースとなった.NETは仕事で使えるか 2014年12月26日
Microsoftのオープンソース受け入れは何を生み出すのか 2014年12月23日
Microsoftが.NET Coreを紹介 2014年12月07日
Microsoft、「.NET Core」をオープンソース化。LinuxやMacもサポート 2014年11月13日
もうやらなくていい昔のコーディングテクニックあれこれ 2009年05月04日
いいコーディング規約、悪いコーディング規約? 2008年07月22日
ExcelやWordの開発者、いよいよ宇宙へ 2007年04月05日

プログラミングはキー2つだけあればよい?

著者: nagazou
2021年4月30日 14:31
Holy Cater氏の作成した究極のプラグラミングツール(自称)がバズっている。リンク先の画像を見ていただければ、一発で何か分かるネタなのだが、SimPad Nanoという小型キーパッドを利用して作成したコピー・ペーストの専用キーボードとなっている。キートップにデカデカと貼られた「コピ」+「ペ」の文字のインパクトが強烈だ。左のキーにコピー(Ctrl+C)、右のキーにペースト(Ctrl+V)が割り当てられており、プログラミング時に必要不可欠なコピー&ペーストが手早く行えるのが特徴となっている(Holy Cater氏のツイートPC Watch)。

すべて読む | デベロッパーセクション | プログラミング | 変なモノ | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
クリップボード履歴にプレーンテキストで貼りつける機能搭載。Insider Preview ビルド2131 2021年02月24日
駆け込み合意の英-EU通商協定文書にNetscapeが登場 2021年01月05日
「コピー&ペースト」を生み出したコンピューター科学者のラリー・テスラー氏、死去 2020年02月21日
人気エアバンドのゴールデンボンバー、SNSなどでの歌詞全文の転載を公認 2019年04月11日
若者のURL離れ? 2018年12月17日
プログラムの写経、もしくはカーゴ・カルト・プログラミングを抜け出すきっかけは? 2018年02月09日

Qiitaが「今後はプログラマのことをエンジニアと呼称する」と宣言

著者: nagazou
2021年4月19日 18:11
あるAnonymous Coward 曰く、

たまに燃えることのある「エンジニア」と「プログラマ」の呼称を巡る問題だが、プログラマのための情報共有サイトであったQiitaがガイドラインを改訂し、今後は「プログラマ」のことは「エンジニア」と呼ぶと宣言してまたちょっと燃えているようだ(Qiitaの発表, はてなブックマークのコメント)。

一般的には、プログラミングをする人が全て「プログラマ」である一方、「エンジニア」は機械エンジニアや航空エンジニアなども含めた技術者全般を指す言葉で、特にプログラミングをする人を指す言葉では無いと思うが、Qiitaでは「世の中のエンジニアの定義とは少しずれた定義とはなってしまいますが」と断った上で、同サイトにおいて以後エンジニアを「プログラミングの知識と経験を活用している人」に変更して、今後はこの定義を用いていくとしている。

昨今では未経験者が経緯を知らずにエンジニアを使っている例は非常に多くなったが、だからと言って世の定義と間違っていることを承知で間違った定義に改める理由はないと思うのだが、スラド諸氏の見解は如何に?

情報元へのリンク

すべて読む | デベロッパーセクション | プログラミング | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
Apache OpenOffice、貢献者募集中 2020年05月20日
10MBのファイルが281TBに膨らむ新型「非再帰的ZIP爆弾」 2019年07月16日
スラドに聞け:やってしまったプログラミング上のtypo 2019年01月17日
プライベートで勉強しない人をエンジニアとして採用すべきでない? 2018年09月10日
大手メーカー製の植え込み型神経刺激装置、攻撃者によるプログラム書き換えやデータ読み取りが可能な問題 2018年04月22日
プログラマは裁量労働制の対象外、SEも場合によっては対象外に 2017年08月22日
「プログラマのための 技術情報共有サービス」Qiitaが多数の記事を限定公開に 2017年05月12日

超一流プログラマーになるには3万時間のプログラミングが必要

著者: nagazou
2021年4月8日 18:05
あるAnonymous Coward 曰く、

https://gigazine.net/news/20210404-5-programmers-30000-hours/

プロになるには1万時間の練習が必要という1万時間の法則というのがあるが、ドナルド・クヌース(The Art of Computer Programmingの著者)やスティーブン・ウルフラム(Mathematicaの作者)クラスになるには、3万時間超のプログラミングが必要なようだ。

情報元へのリンク

何事も一流のスキルを身につけるには1万時間の練習が必要とする「1万時間の法則」なるものがマルコム・グラッドウェルによって提案されている。この法則の自体の是非はさておき、プログラマーのBreck yunits氏は、実際に1万時間プログラミングしてみて、実際にその効果に自信を持てなかったそうだ。そこで自身が尊敬する著名なプログラマー25人にプログラミングに費やした時間を問い合わせたという。そのうち返答は5人あり、その結果をGitHub上で公開したという(GitHubGIGAZINE)。

なお返答のあった5人は以下の通り。

いずれも3万時間以上プログラミングに時間を費やしており、yunits氏は次は3万時間を目指すとしている。

すべて読む | デベロッパーセクション | プログラミング | 教育 | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
プログラム言語を処理するとき使う脳部位は言語野ではなかった 2020年12月23日
ゾディアックキラーの暗号 Z340 が解読される 2020年12月14日
エンドユーザーからプログラマーに的確に伝わるバグ報告の書き方 2020年11月17日
藤井二冠の自作PCをネタに将棋ソフト開発者が対談。プロ棋士とプログラマーがタッグを組む未来も 2020年10月30日
IT人材会社が技術者経歴を詐称、と報じられる 2020年08月28日
MITとIntel、AIがプログラムの構造を学習し、書き換え案を提示できるシステムを開発 2020年08月19日
大塚製薬CalorieMate to Programmerが話題に 2020年08月07日

プログラミング言語「Julia」1.6.0が公開

著者: nagazou
2021年3月30日 06:02
数値処理向けプログラミング言語Juliaの開発チームは24日、最新版となる「Julia 1.6」をリリースしたと発表した。同時にマニュアル「The Julia Languageも公開した。プリコンパイルを並列化することでさらに高速化したほか、コンパイル時間を計測するタイミングマクロが追加されているとしている。Julia 1.6は次期LTSになる可能性があるが、フィールドテスト後のv1.7が提供されることに決定するとのこと(Julia公式ブログCodeZineTECH+)。

すべて読む | デベロッパーセクション | プログラミング | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
TIOBE IndexのProgramming Language of the Year 2019はC言語 2020年01月13日
IEEE Spectrumの人気プログラミング言語ランキングでPythonが1位に 2017年07月23日
IEEE Spectrumのプログラミング言語ランキング2016年版、C言語がトップに 2016年07月31日
プログラミング言語Juliaの開発チームに60万ドルの寄付 2015年11月20日
2014年になってもFORTRANが選ばれる理由 2014年05月12日

プログラミング言語「Go」がM1チップ搭載Macに対応

著者: nagazou
2021年2月19日 14:22

16日にリリースされたプログラミング言語「Go」のv1.16で、macOS ARM64がサポートされたそうだ。これによりApple Silicon(M1チップ)でもネイティブ動作するようになったという。パフォーマンスや安定性の向上、ビルドに必要な時間が最大25%高速化されたほか、使用メモリは最大15%削減されたとしている(The Go Blog窓の杜)。

すべて読む | デベロッパーセクション | プログラミング | デベロッパー | この記事をTwitterでつぶやく この記事をFacebookで共有 この記事をGoogle Plusで共有 このエントリーをはてなブックマークに追加

関連ストーリー:
11月のTIOBE Index、Pythonが初の2位 2020年11月07日
Stack Overflow調べ、Rustが5年連続で最も愛されているプログラミング言語に 2020年05月30日
HackerRank調査、最も開発者に知られているプログラミング言語はJavaScript 2019年02月03日
日本国内でのプログラミング言語別年収ランキング、トップはGo 2018年08月10日
IEEE Spectrumの人気プログラミング言語ランキングでPythonが1位に 2017年07月23日
Google、社内標準言語の一つとしてTypeScriptを採用 2017年04月12日

❌