物理情報工学ソフトウェア開発演習
Unix 哲学的に考えれば、行を並び替える sort コマンドと重複行を取り除く uniq コマンドは別のコマンドであるべきなように思えます。しかし sort コマンドには -u オプションとして uniq コマンドに相当する機能が組み込まれています。なぜそうなっている(そうなってしまった)のかを「ソフトウェア作法(さくほう)」を参照しながらこの記事で明らかにしたいと思います。 関連記事 Unix哲学「一つのことをうまくやる」は単機能のコマンドを作ることではない 「誰」がuniq機能をsortコマンドに組み込んだ!? 熱烈的な Unix 哲学の信者は「どうせ Unix 哲学を理解しない GNU が便利だと思ってオプションを追加したのだろう」と考えるかもしれません。しかし uniq 機能が組み込まれたのは Version 7 Unix、つまり Unix の開発者が組み込んだのです。これは 1
水上悟志 @nekogaeru 漫画家。「惑星のさみだれ」 「スピリットサークル」 「戦国妖狐」「プラネット・ウィズ」など。 サイコスタッフ(全一巻)→ mangaz.com/book/detail/63… 個人様からのご依頼は受け付けておりません。 水上悟志 @nekogaeru ここで表明しておきます。 水上マンガ・アニメのパチンコ・パチスロ化は基本的に許可を出しません。 ファンの中からこれをきっかけに深くハマり込む人が一人でも現れてしまったらなんか「マンガを描いてる甲斐がないな」と思うからです。 2024-05-15 22:40:59 水上悟志 @nekogaeru 今まで関わってきたアニメサイドの皆様には資金繰りを難しくさせてしまって申し訳ないなーとは思ってました。 また、パチンコ好きの方やパチ化の許可を出した作家さんを批判するつもりもないです。 ただ、水上はやんないよ、ってだ
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人(具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである)はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう? この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
ダイヤモンド産業最大手デビアスが2000年に発表したコレクション「ミレニアムジュエル」の希少ダイヤモンドの一つ、10.10カラットのブルーダイヤ(2016年3月15日撮影)。(c) Leon NEAL / AFP 【5月15日 AFP】英資源大手アングロ・アメリカン(Anglo American)は14日、グループ傘下のダイヤモンド産業最大手デビアス(De Beers)の売却計画を発表した。競合する豪BHPの買収提案を退け、より安定した成長が見込める銅や鉄鉱石事業に経営資源を集中するとしている。 長年、世界のダイヤモンド市場を支配してきたデビアスの売却をめぐっては、より安価な人工のラボグロウンダイヤモンド(ラボダイヤ)との価格競争や、中国をはじめとする需要の低迷をアナリストらは指摘している。 デビアスは1888年に英植民地政治家セシル・ローズ(Cecil Rhodes)が設立。採掘から宝飾
東海道新幹線京都駅の中央乗換口を出て、すぐ隣のエスカレーターを降りると、JR西日本の奈良線ホームである。主力のクロスシート車221系とともに、関東では姿を消しつつある国鉄型205系も出発を待っている。 JR奈良線は木津―京都間の通勤路線で、「みやこ路快速」が京都駅と奈良駅を44分で結ぶ。近年、利用が特に伸びた路線である。2019年度の輸送密度は2万9752人で、1987年度比で2.8倍となった。 沿線には東福寺、伏見稲荷、宇治、奈良と有名観光地が点在しており、観光シーズンになると、国内外の観光客で電車はすし詰めになる。 2023年3月に複線化第2期事業が竣工して1年。関西でも影の薄い存在だったJR奈良線は、どのように変貌しているのだろうか。
以下の記事が面白かったので、簡単にまとめました。 ・Hello GPT-4o 1. GPT-4o「GPT-4o」 (「omni」の「o」) は、人間とコンピュータのより自然な対話に向けた一歩です。テキスト、音声、画像のあらゆる組み合わせを入力として受け入れ、テキスト、音声、画像の出力のあらゆる組み合わせを生成します。 音声入力にはわずか232ミリ秒 (平均320ミリ秒) で応答できます。これは、人間の会話における応答時間とほぼ同じです。英語のテキストおよびコードでは「GPT-4 Turbo」のパフォーマンスに匹敵し、英語以外の言語のテキストでは大幅に改善されており、APIでははるかに高速で50%安価です。「GPT-4o」は、既存のモデルと比較して、特に視覚と音声の理解に優れています。 2. モデルの機能「GPT-4o」以前は、音声モードを使用して、平均2.8秒 (GPT-3.5) および5
米Tesla(テスラ)の株価急落、米Apple(アップル)の電気自動車(EV)撤退、米Ford Motor(フォード)のEV事業赤字、ドイツMercedes-Benz(メルセデスベンツ)グループ(以下、Mercedes-Benz)の完全EV化撤回、販売台数の伸び率でハイブリッド車がEVを逆転……。世界の政府や自動車業界、メディアが喧伝(けんでん)してきた「EVシフト」が明らかに変調を来している。世界は何を間違えたのか。そして、自動車メーカーは生き残りを懸けてどこに向かうべきなのか。Touson自動車戦略研究所代表で自動車・環境技術戦略アナリストの藤村俊夫氏が分析する。その第1回は「EVシフト」失速の訳に迫る。 自動車業界では、2016年くらいから二酸化炭素(CO2)削減の手段として、「EVシフト」が叫ばれるようになった。理由は、中国におけるEV補助金の開始や、ドイツVolkswagen(フ
私も旧帝工学部の修士卒です。正社員として現在まで10年以上働いています (IT系職種です)。中小企業にもメーカーにも在籍経験がありますし、結婚も出産もしています。配偶者もフルタイムで働いています。偉そうにみえたら大変申し訳ありませんが、あなたの書いた内容に、個人的には違和感のある点がいくつかあり、コメントさせてください。 まず、産休は必須ですが育休は必須ではありません。法律上、出産直前まで働くことができ、産後8週 (医師が許可すれば6週) で復帰できます。出産予定日の3週前から休みに入り、産後6週で復帰すればブランクは9週間で済みます。出産が遅れるなどあっても3ヶ月以内で復帰できると思います。私もブランク10週間で復帰し、その後は保育園に入園できるまで保育サービスに頼りました。もしかするともっと子どもと過ごしてから復帰したいとお考えかもしれませんが、産後すぐ復帰しても勤務時間外は否応なく子
Windowsでは、文字コードに「ユニコード」を使う。Windowsに搭載されているフォントはさまざまあるが、ユニコード文字を表示できるように、多数の文字の形が組み込まれている。 今回は、Windowsでユニコードを“見る”方法について解説する。なお、WindowsではUTF-16LEエンコードをUnicodeと表記する。ここでは、エンコードと混同されないために、文字仕様のUnicodeは「ユニコード」とカナ書きすることにする。 GUIアプリでユニコードを使う ユニコード文字は多数ある。それぞれの文字に割り当てられた文字コードをユニコードでは「コードポイント」と呼ぶ。コードポイントは、「U+」の後ろに16進数4桁または6桁で指定するのが正式な表記方法だ。たとえば、「漢」は「U+6F22」となる。ユニコード関連の文書やもちろん、インターネット内のウェブページでも同様の表記をすることが多い。
●自民府議、原生林影響や工費懸念 北陸新幹線敦賀以西の整備を巡り、現行の「小浜ルート」から「米原ルート」への再考を求める声が京都府で強まっている。小浜ルートは巨額の工費や環境への影響が懸念されるためだ。とりわけ駅ができない京都北部への恩恵は薄く、地元の自民府議は「米原ルートが現実的」と強調する。「米原」「小浜」で主張が入り乱れる中、このまま「敦賀止まり」が長期化すれば北陸と関西の双方にとってマイナスだとする指摘もあり、議論の促進が望まれる。(政治部・作内祥平) ●国定公園突っ切る 2016年に与党が合意した小浜ルートは、敦賀駅から小浜市を経由し、京都駅まで南下する。福井県境を越えて京都府に入ると、長いトンネル区間が続く想定で、国内有数の原生林「芦生(あしう)の森」を含む京都丹波高原国定公園を突っ切っていく。ここは多様な生物が生息する京大の研究林でもある。 「北陸の人には伝わりにくいかもしれ
太平洋戦争の終結後、遠く太平洋島嶼部、中国大陸などに取り残された日本軍将兵の復員と民間人の帰国事業が始まりました。その対象者の数はおよそ660万人。史上稀に見る民族大移動のために、戦争で疲弊していた日本はともかく使えそうな船を集めます。 最優先だった復員輸送 船が全然ない! 1945(昭和20)年8月の終戦後、日本政府が最優先で取り組まなければならなかったのは軍隊の武装解除と復員でした。これは、日本の無条件降伏に際して戦勝国が発したポツダム宣言にあった「日本の武装解除」と「兵員を家庭に帰す」という条文によって日本に課にされたものでした。 1946年1月、5000人の復員兵を乗せてラバウルで給油中の「葛城」(画像:オーストラリア戦争記念館)。 このうちの後者、つまり太平洋の広範囲にわたる島嶼部とアジア大陸の各地に取り残されたおよそ660万人もの軍人と軍属、民間人を日本に帰還させるというのは、
キャラクターの裏に隠された声優たちの素顔に迫る、インタビュー企画『声優図鑑 by声優グランプリ』。 今回は『アイドルマスター シャイニーカラーズ』の三峰結華役や、『ウマ娘 プリティーダービー』のデアリングハート役を演じる希水しおさん。お仕事の話はもちろん、アニソン好きの一面や、友だちと過ごした休日のエピソードなど、パーソナルな話題も盛りだくさんでお届けします。 希水しお きすいしお●3月28日生まれ。東京都出身。BLACK SHIPジュニア所属。主な出演作は、アニメ『アイドルマスター シャイニーカラーズ』(三峰結華)、ゲーム『ウマ娘 プリティダービー』(デアリングハート)ほか。 オフィシャルサイト:https://www.blackship.jp/female/shiokisui/ X:https://twitter.com/kisui_shio ★希水さんの手書きプロフィール公開中! h
今年もゴールデンウィークに富山県の立山(室堂)に行ってきました。今回は立山滞在は1泊2日のみと短かったですが、なかなかに充実したライチョウ観察(もはやそれが主目的)を楽しめた2日間でした。 富山後泊で行く2024年の春立山 アルペンルート立山始発で室堂へ 浄土山〜龍王岳ライチョウ見登山 相変わらずライチョウだらけの浄土山 浄土山南峰から一ノ越もライチョウだらけ 雷鳥沢キャンプ場へ、雷鳥沢ヒュッテで日帰り入浴 登山ルートとGPSログ 富山後泊で行く2024年の春立山 1月の焼岳以来、雪山シーズンに全く山に行ってなかったり(行ったけどロープウェイが運休だったことなどもあり)、春の立山にはコロナ禍の数年を挟んで毎年行ってるしそろそろいいかな…… と少し迷っていましたが、例年とは少し行程を変更した計画を思いついたので結局行ってしまいました。 当初、朝イチに長野側から入って(初日から登山をしつつ)、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く