[B! Qiita] gemini7のブックマーク

形式手法はなぜ流行っていないのか - Qiita

はじめにみなさん形式手法をご存知でしょうか？名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。その通りです。形式手法はアカデミアではそれなりに研究されているものの、一般の（特にWeb系）ソフトウェア開発者が携わることはなかなかないのではないかと思います。この記事ではソフトウェア開発に形式手法が導入されないのはなぜなのかを考察します。この記事ではアジャイルソフトウェア開発において形式手法を導入する際のハードルについて考察します。追記本記事について、「形式手法は流行っていない」というのは正確ではないのではないかという指摘をいただきました。組み込み系や社会インフラ系等バグを絶対に出せないシステム開発では形式手法がよく使われているそうです。ちょっと古いデータですが活用事例です。誤解を招く紹介となっていたことをお詫びします。さらに追記 ku

gemini7 2021/05/24

リンク

Mac用タイル型ウィンドウマネージャーのyabaiがヤバイ - Qiita

yabai自体は yabai -m window --focus recentなどのコマンドでウィンドウを操作するもので、キーボードで操作するには、skhdというショートカットツールが必要になります。 skhdをbrewでインストール #!/usr/bin/env sh # global settings yabai -m config mouse_follows_focus on yabai -m config focus_follows_mouse autoraise yabai -m config window_placement second_child yabai -m config window_topmost on yabai -m config window_shadow off yabai -m config window_opacity on yabai -m conf

gemini7 2020/11/24

リンク

Pythonのオブジェクト指向プログラミングを完全理解 - Qiita

1. オブジェクト指向の起源 2003年チューリング賞の受賞者アラン・ケイさんはよくオブジェクト指向プログラミングの父と称されます。ご本人も憚ることなく、幾度、公の場で発明権を宣言しています。しかし、ケイさんは「C++」や「Java」などの現代のオブジェクト指向言語を蔑ろにしています。これらの言語は「Simula 67」という言語を受け継いだもので、私が作った「Smalltalk」と関係ないのだとケイさんは考えています。オブジェクト指向という名称は確かにアラン・ケイさんに由来するものです。しかし、C++とJavaで使われている現代のオブジェクト指向は当初のと結構違います。ケイさん自身もこれらの言語を後継者として認めないです。では、ケイさん曰くC++とJavaの親であるSimula 67という言語はどんな言語でしょうか。ここで、簡単なサンプルコードを見てみましょう。 Class Recta

gemini7 2020/11/02

qiita
python

リンク

slackで「投稿ルールが守られない問題」を自作のスラッシュコマンドで解決する(設定編) - Qiita

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? slackあるある ※※お知らせ※※ 今後、備品購入を希望される方は当チャンネルで＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝【購入品名】　：【購入URL】　：【購入承諾者】：【納品希望日】：2019/mm/dd 【備考】　　　：＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝というフォーマットを使って下さい。 (ピンどめしておきます) 現実は・・・フォーマットを自己流に改変する人そもそもフォーマットを使ってくれない人別のチャンネルで依頼する人 etc..... 解決策今後、備品購入依頼は当チャンネルで /bihin と投稿し、表示される

gemini7 2019/06/17

qiita
slack

リンク

自宅サーバーでTwitter連携サービスを運営してたら家宅捜索された件 - Qiita

概要ある朝自宅に神奈川県警が乗り込んできた。 (なお自宅は神奈川県ではない) どうやら俺はTwitterにモロ画像を投稿していたらしい。「間違いなくこの家から投稿されていた。プロバイダにも確認済みだ。」「(ハンドルネーム)というアカウント使ってるでしょ」「心当たりあるでしょ？」「(ブランド名)のTシャツ持ってるでしょ？」おやっ、何かがおかしいです。想定される経緯自宅サーバーではTwiGaTen( https://twigaten.204504byse.info/ )というWebサイトが稼動している。そしてこいつはTwitterアカウントでログインしたアカウントのタイムラインを24時間365日収集し続けている。Twitterの仕様上、これは時々ログイン履歴として記録される。そして警察はモロ画像をうｐしたアカウントのログイン履歴を見て… 「固定回線からうｐか。バカめ。」「

gemini7 2019/06/11

リンク

八丈島のホテルで、運用費用０円の伝票システムアプリ作って、業務改善した話。 - Qiita

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? ※2019年05月29日作成の記事です。はじめまして! いつも皆さんの面白い記事を読んで、学んだり励みにしたり楽しんだりしてます！ありがとうございます！このたび東京都八丈島のホテル、リードパーク＆リゾート八丈島で伝票システムアプリを作らせてもらいました！このシステムアプリの全機能はブログの記事で動画を交えて説明しています。（QiitaじゃTwitter経由でしかアップできないため）全機能説明ページはこちら謝辞ホテルの皆様今回自分がこんな貴重な機会を得られ、最後まで作ることができたのは、寛容で柔軟なホテル支配人・レストラン

gemini7 2019/06/10

リンク

「Qiita」運営会社、スマホゲームのエイチームが買収 - ITmedia ビジネスオンライン

スマートフォン向けゲーム開発のエイチーム（東証1部）は12月22日、プログラマー向け技術情報共有サービス「Qiita」などを運営するIncrements（東京都渋谷区）を子会社化すると発表した。代表取締役の海野弘成氏らからQiita株式の100％を25日付で取得する。取得額は約14億5300万円。エイチームはスマホゲームや引っ越し比較・予約サイト「引っ越し侍」などを手がける。中長期の成長を視野に、自社で参入が難しい事業のM＆Aを積極化する方針。Incrementsの買収で新しい事業展開を加速できると判断し、買収を決めた。 Incrementsは2012年創業。Qiitaを運営するほか、チーム内情報共有ツール「Qiita-Team」を開発している。2016年12月期の売上高は8995万円、最終損益は8022万円の赤字。関連記事ドワンゴ、川上量生氏が会長を退任ドワンゴ創業者の川上量生

gemini7 2017/12/22

qiita

リンク

[正規表現] .*?は最短マッチではない - Qiita

# Ruby 2.4.2 "<<<hoge>>>".match(/<.*?>/)[0] #=> "<<<hoge>" なぜこうなるのか .*?は、最短マッチ最左マッチの2つの原則に従い、しかも最左マッチの原則の方が優先順位としては高いからである。より嚙み砕いて言うと <.*?>は先頭の<がマッチした後に、そこからマッチする部分をできるだけ最小化しようと試みる。 <<<hoge>>>に対して<.*?>をパターンマッチさせる際に行われる実際の処理の流れは、次のようなイメージになるだろう。 < # <までマッチ << # <>のマッチに失敗、.の数を増やしてリトライ << # <.までマッチ <<< # <.>のマッチに失敗、.の数を増やしてリトライ <<< # <..までマッチ <<<h # <..>のマッチに失敗、.の数を増やしてリトライ <<<h # <...までマッチ <<<ho

gemini7 2017/12/12

リンク

apollo11号のソースコードを読みつつ - aerith7’s blog

これはなに？はじめに AGCあれこれ Temporary I HOPEHOPEHOPE ASTRONAUT NOW LOOK WHERE YOU ENDED UP ふと気になりましたいい時代ですね 1201&1202エラーなにそれ？カ、カルマンフィルターだー！！！カルマンフィルターの開発経緯その他面白コメントアウト集 TRASHY LITTLE SUBROUTINES（つまんないサブルーチン） NUMERO MYSTERIOSO（神秘の数字） OFF TO SEE THE WIZARD COME AGAIN SOON HONI SOIT QUI MAL Y PENSE（悪意を抱く者に災いあれ）、NOLI ME TANGERE（私に触れるな） PINBALL_GAME_BUTTONS_AND_LIGHTS.agc おわりに反省参考文献これはなに？この記事はeeic Adv

gemini7 2016/12/22

リンク

お前らのSSH Keysの作り方は間違っている - Qiita

GitHubのHelpに記述されているSSH Keysの作成方法が僕の知っている作成方法と微妙に異なっていたので、書いてみました。以下の参考にしています。 Generating SSH keys - User Documentation SSH Keysの確認既存のSSH Keysの確認をする必要があるので、以下を実行デフォルトでのSSH Keysの名前は以下のうちのどれか id_dsa.pub id_ecdsa.pub id_ed25519.pub id_rsa.pub 現在使用している鍵の暗号強度の確認以下のコマンドにて鍵長が2048以上かつ暗号化方式がRSA、或いはECDSAやEd25519であればOK $ ssh-keygen -l -f ~/.ssh/id_rsa.pub 4096 SHA256:xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

gemini7 2015/10/02

リンク

AppStore申請に必要なリソースを爆速で用意する（スクショやタイトル、キーワードなど） - Qiita

はじめに iOSアプリは開発しただけでは公開することができず、Appleに申請し、許諾されて初めてリリースすることができます。しかし最近では申請に必要な情報も多くなっており、準備にかかる時間も多くなってきました。この記事ではAppStoreへの申請の際に必要なリソースを、効率よく爆速で準備する方法について紹介します。この記事で書かないこと「アプリタイトルはN文字まで」などの基本的な制約は書きません。あくまでスピーディに効率良く準備する方法に絞って書くつもりです。制約など、Apple申請時の注意点については以下の記事が分かりやすいのでご参考下さい。 iPhoneアプリ申請やAppleの審査に関するメモ - Qiita 申請を出す際に必要になるもの申請時に用意が必要なものは以下です。アプリタイトルキーワード説明文スクリーンショット（+動画）これらを用意する手順について書

gemini7 2014/12/16

リンク

アドベントカレンダーを電子書籍で読めるサービスを作った - 2nd life (移転しました)

http://advent-calendar2readlists.herokuapp.com/ Qiita や Adventar、ATND のアドベントカレンダーがオフラインの電子書籍で読みたい、と思ったので作った。例えば寿司アドベントカレンダーなら、URLを入れて変換すると、readlistsを裏側で叩いて、こんな感じに生成される。 http://readlists.com/307857dc/ 生成後は readlists の機能を使って、iPhone や iPad に送ったり、dropbox に epub を保存したり、その他いろいろな方法で、様々なデバイスで読むことが出来る(※なお readlists の kindle に送る、は一部文字がおかしくなるのでオススメしない)。また Qiita のアドベントカレンダーは、HTML の要素の関係で必要の無い要素も混じってしまっていて、ちょっ

gemini7 2014/01/13

リンク

MacBookAirで使っている便利ツール - Qiita

はじめにここでは、MacBook Airで私が使っている便利ツールを紹介していきます。長文過ぎると、途中で表示できなくなってしまうことを学習したため、不要な解説は省略します。また、個人的な価値観から形成された表現を含むかもしれませんが、その点の説明も省略します。ご了承ください。便利なアプリを知っていたら、是非コメントをお願いします。 MacBook Airにインストールしたアプリ BetterTouchTool //トラックパッド拡張、ショートカットキー拡張 Google Chrome //インターネットブラウザ Growl //通知を拡張するアプリ Kopypasta //クリップボードをバックアップ WindowFlow //ウィンドウ切り替え XtraFinder //Finderを拡張するアプリ Xcode //開発環境を提供するアプリ TinkerTool //Macの隠し機能を