増永 玲 (@msng) header
増永 玲 (@msng) profile picture

増永 玲

@msng

サウナに入ります。バイクに乗ります。サックスを吹きます。歌を歌います。プログラムを書きます。

msng.info/
Joined April 2007
  • Tweets27.7K
  • Following833
  • Followers5.5K
180Media
Photo by 増永 玲 (@msng)Photo by 増永 玲 (@msng)Photo by 増永 玲 (@msng)Photo by 増永 玲 (@msng)Photo by 増永 玲 (@msng)Photo by 増永 玲 (@msng)Photo by 増永 玲 (@msng)Photo by 増永 玲 (@msng)Photo by 増永 玲 (@msng)Photo by 増永 玲 (@msng)
PHP Conference Japan 2025 にプロポーザルが投稿されました！ 「Self-Validating Code のススメ - テストでも静的解析でもない、もうひとつの「正しさ」」 / 増永 玲さん （@msng） fortee.jp/phpcon-2025/propos… #phpcon
Self-Validating Code のススメ - テストでも静的解析でもない、もうひとつの「正しさ」

Self-Validating Code のススメ - テストでも静的解析でもない、もうひとつの「正しさ」

PHP コードの正当性は、テストや静的解析によって保証するのが一般的です。 しかし実際には「このメソッド呼び出しが正しいことは、どのテストで保証されていたっけ？」と確認を要する場面や、静的解析ではカバーしきれないコード構造も現実には多く、必ずしも安心とは限りません。 このセッションでは、コード自身が自分のやろうとしていることの正当性をその場で保証する "Self-Validating Code"...

fortee.jp
1
4
891
プログラマーは魔法使いじゃありません。 *Tw*
1
7
皆様、長らくお待たせいたしました！ 2020年に中止を発表してから毎年検討を重ねて来ましたが、今年の6月24日（土）に「PHPカンファレンス福岡2023」を開催する運びとなりました！！ 今年の実行委員長は .@seike460 が努めます。 phpcon.fukuoka.jp/2023/ #phpconfuk.2023
PHPカンファレンス福岡2023

PHPカンファレンス福岡2023

PHPカンファレンス福岡は九州のPHPerと全国のPHPerが交流できる場を提供する大人の文化祭！エンジニアの皆さんと楽しい１日を過ごせるカンファレンスです。

phpcon.fukuoka.jp
81
29
114
42,174
増永 玲 retweeted
yabmin (@yabmin) profile picture
yabmin@yabmin3 Feb 2023
yabmin は長らく動作していませんでしたが、Twitter からサードパーティー製クライアントの禁止が明示されたので本当に終了です。ご愛用くださったみなさま、ありがとうございました。また何か別のおもしろいものを作ったらここでお知らせするので、差し支えなければこのままフォローをお願いします。
6
25
4
72
7,031
ツイッター「天下一品bot」停止から2年　「中の人」に再開の予定を聞いたら...j-cast.com/trend/2018/10/103…
9
1
12
増永 玲 retweeted
yabmin (@yabmin) profile picture
yabmin@yabmin18 Oct 2018
Twitter の開発者登録ルール変更への対応が滞っており、現在 yabmin も審査待ちの状態となっています。その間、審査の状況やタイミングによっては yabmin が利用できなくなる可能性があることをお知らせします。
6
24
5
28
明日は2月29日です。 bit.ly/uruuu
1
1,129
1
324
増永 玲 retweeted
俺聞け (@orekike) profile picture
俺聞け@orekike26 Jan 2016
【2/20 東京開催】インターネットとデジモノについて気になっていることを発表する会『俺聞け12 in Tokyo』参加者まだまだ募集中。聞くだけでもいいし、人前での発表にトライするのにも最適な場です！... fb.me/7CICT0XyQ

俺聞け12 in Tokyo

12回目の『俺聞け』です。東京での開催は4回目となります。 俺聞けとは インターネットやデジタルグッズに関連して、いま気になっていることを発表したりそれを聞いて「へー」... powered by Peatix : More than a ticket.

orekike12.peatix.com
2
1
増永 玲 retweeted
俺聞け (@orekike) profile picture
俺聞け@orekike14 Jan 2016
2/20(土)の『俺聞け in Tokyo』まだまだ参加募集中です。お待ちしてます！ orekike12.peatix.com/ fb.me/72FGlWSPF

俺聞け12 in Tokyo

12回目の『俺聞け』です。東京での開催は4回目となります。 俺聞けとは インターネットやデジタルグッズに関連して、いま気になっていることを発表したりそれを聞いて「へー」... powered by Peatix : More than a ticket.

orekike12.peatix.com
2
たしかに自分もコンビニでお箸とかスプーン断ってるんだけど袋に入れられること多い。必要な人だけがくださいっていえばいいんだろうけど、言わないとつけないお店にキレる人がいるから難しいのかな / “コンビニでの「袋いりません」「箸いりま…” htn.to/8QJ9CFB3fUW
1
1
増永 玲 retweeted
天下一品bot (@10_1) profile picture
天下一品bot@10_11 Oct 2015
今日は天下一品の日です。
121
20,068
58
7,043
増永 玲 retweeted
yabmin (@yabmin) profile picture
yabmin@yabmin4 Sep 2015
お待たせしました。yabmin から Twitter にログインできなかった問題が解決しました。Twitter が利用しているスパムフィルタになぜか yabmin が入っていたのですが、これを解除してもらいました。
2
2
9
いいなー。近くにこういうお店欲しい。（探せばありそうではある。） | 世界一かわいい黒猫がいる大阪・天六の禁煙バー neigHBor について msng.info/archives/2015/08/n… @msngさんから
1
1
3
増永 玲 retweeted
俺聞け (@orekike) profile picture
俺聞け@orekike14 Feb 2015
Facebook ページはここな。 facebook.com/orekike #orekike

www.facebook.com

俺聞け. 232 followers. ウェブをテーマにしたプレゼンテーションイベント。 ウェブに関連して�

facebook.com
1
増永 玲 retweeted
俺聞け (@orekike) profile picture
俺聞け@orekike14 Feb 2015
実は俺聞けの Twitter アカウントもありますこんにちは！ #orekike
4
増永 玲 retweeted
attrip (@attrip) profile picture
attrip
@attrip11 Dec 2014
spot.IMが頭ん中に！ msng.info/
1
「メイク中に邪魔にならないイヤホンが欲しいな」と思い、以前 @msng さんが紹介されていたBluetoothヘッドセット『BlueBuds X』を9月から使っているのだけれど、最高すぎて言葉にならない。msngさんありがとう。 msng.info/archives/2013/08/b…
3
8
増永 玲 retweeted
yabmin (@yabmin) profile picture
yabmin@yabmin23 Nov 2014
昨晩から yabmin のメール送信が滞っていましたが、現在は復旧して平常どおり動作しています。ご連絡をくださった方、ありがとうございます。 yabm.in/
1
5
6
増永 玲 retweeted
attrip (@attrip) profile picture
attrip
@attrip1 Oct 2014
“【10月25日(土) 東京開催】ウェブまわりでいま気になっていることを発表する会『俺聞け10 in Tokyo』を開催します - 頭ん中” htn.to/ayNAjq
1
1
1
「QRコード」の「QR」とは何か msng.info/archives/2014/03/q… @msngさんから　これ知らなかった
4
3
Load more