情報更新

last update 03/28 22:02

ツイート検索

 

@ka_
サイトメニュー
Twilogユーザー検索

Twilog

 

@ka_

@ka_

Stats Twitter歴
6,013日(2007/10/12より)
ツイート数
223,259(37.1件/日)

ツイートの並び順 :

表示するツイート :

2022年06月05日(日)111 tweetssource

 

非公開

retweeted at xx:xx:xx

6月5日

@yukihiro_matz

Yukihiro Matz@yukihiro_matz

(どうやらRubyで)usersでなくuserAry と略せ、という話、Rubyでsを採用してる(methods と method とか)上に、Rubyのソースコードで ary という略を大量に使ってる身としてはどちらにもわずかな責任を感じました。でも、私なら users を使います。userAryはナイな。user_list くらいなら妥協するかも。

Retweeted by

retweeted at 23:37:37

6月5日

@qnighy

Masaki Hara@qnighy

それを手続き型言語2.0と呼びたいと思っていたけど、むしろ今までが0.xでRustが手続き型言語1.0かもしれない。

Retweeted by

retweeted at 22:58:40

6月5日

@qnighy

Masaki Hara@qnighy

そういう、手続き型プログラミングにおけるコンポーネント設計の根幹にかかわる概念を、実用的なレベルで表現できるようになったのがRustなわけで、だからマルチスレッドとかシステムプログラミングとかとは別の次元でRustはすごい言語だと自分は思っているというわけです。

Retweeted by

retweeted at 22:58:38

6月5日

@qnighy

Masaki Hara@qnighy

それはまさにRustでいう所有権やライフタイムに相当する概念で、しかし既存の(普及していた)手続き型言語はそのような表現力を持たなかった。
じゃあそういった言語では所有権やライフタイムはないのかというと、あるけどコード上になくてふんわり管理されてるんですよね。そしてたまに事故る。

Retweeted by

retweeted at 22:58:35

6月5日

@qnighy

Masaki Hara@qnighy

そしてHoare論理が分離論理になる過程でわかったのは、ミュータブルリファレンスに関する責任境界の設定方法だった。

Retweeted by

retweeted at 22:58:30

6月5日

@qnighy

Masaki Hara@qnighy

Hoare論理や分離論理はプログラムの正しさを証明したい人のための道具だけど、それって実は「コンポーネント間の規約をどう設計すれば事故なく責任境界を設定できるか」というインターフェースの話なんですよね (結局、証明というのはプリミティブの性質まで還元することに過ぎないので)

Retweeted by

retweeted at 22:58:28

6月5日

@ka_

@ka_

最大のおもしろポイントは「こいつは危険ドライバーだ!」って決めつけて掛かってきた連中に「私は横断歩道で轢かれた側の歩行者です痛かったです」って返してる点ですね

posted at 22:56:22

 

表示拒否

retweeted at xx:xx:xx

6月5日

@ka_

@ka_

預金保険機構も危ないらしいよみたいな噂でも流れればあるいは…いや無理か

posted at 22:44:53

6月5日

@kazuho

Kazuho Oku@kazuho

「そんなに預金を投資に回したいなら、ペイオフ限度額下げればいいのに」
「やめて」

Retweeted by

retweeted at 22:34:00

6月5日

@ka_

@ka_

ああいう油絵みたいな絵がプロの手にかかると描けちゃうってのはある意味想定通りだったと…

posted at 22:17:39

6月5日

@ka_

@ka_

柴崎おじいちゃん先生の動画でちょっと前に話題になってたクレパスについて調べてたけど,この商品ってそもそも大昔から「油繪のやうにしつかりした繪がかけます」って売りだったんですね…しゅごい…

posted at 22:16:54

6月5日

@ka_

@ka_

また v/i/t/a/l/i/k が 5000BTC と 50000ETH くれるってリストに入れてくれたんで早く送って欲しい

posted at 21:19:00

6月5日

@ka_

@ka_

つまりこれの日本語訳はもう「我々はエレファントインザルームの話をする必要がある」や「部屋の中の象の話をしなくちゃいけない」と言って通じるのではないかと.

posted at 20:47:28

6月5日

@ka_

@ka_

最近 "Elephant in the room" の知名度が上がってきてて(アルキメデスの大戦でもネタにされてたし),もはや「英語には "Elephant in the room" という諺があります」と言う必要が無くなってきたのではないか説を推したい.

posted at 20:45:52

6月5日

@tagomoris

tagomoris@tagomoris

@tenderlove ちょっと意味が変わるので使える文脈が限られそうだけど「もはや見て見ぬふりはできない」とか「もう目をそらしてはおけない」とかで言いかえられないかなと思います

Retweeted by

retweeted at 20:43:06

6月5日

@ka_

@ka_

青ヶ島,なんかクリプトの連中がだおだお言ってるな…ってところではあるんですが(失礼過ぎる偏見),実はそれよりもっと注目すべきことがあって,先日ニュースにもなっていたんですがどうも金が採れるかもしれないらしいんです…

www.kobe-u.ac.jp/NEWS/info/2022

posted at 20:40:45

6月5日

@ka_

@ka_

こんなんほんとにやってたらむしろ電通尊敬しまくるやつ

posted at 20:13:03

6月5日

@ryuks1228

硫化水銀@ryuks1228

スクエニ「FF10リメイク出すんでステマお願いします」
電通「分かりました。ワッカの音MAD流行らせます。」
電通「ティーダのチンポ気持ち良すぎだろ、これはいいキャッチフレーズができたな…」
電通ワッカ担当者「じゃあ君はEbon juってアカウントで2018年からワッカMADを作りまくってね」

Retweeted by

retweeted at 20:12:37

6月5日

@ka_

@ka_

「AWS奥が深すぎる」

その言葉の真相を探るべく我々はアマゾンの奥地へと…

posted at 20:06:19

6月5日

@hoishinxii

💙@hoishinxii

自分も最初きいたときショックだったんだけど「RTAののカテゴリとルールはRTA in Japanが決めている」という意味分からない認識がまあまあ広まってるのまじでどうにかしてほしい。誰がそんな事言いだした

Retweeted by

retweeted at 20:05:26

6月5日

@ka_

@ka_

でも皮肉ですね.日本円にいつでも戻せるステーブルコインを作ろうとして作るんでしょうが,もしそれが出来たら多分誰も戻さなくなるんですよ.いつでも戻せるんだから…

posted at 19:46:57

6月5日

@ka_

@ka_

> 絶対に社会が良くなる

ここだけはさすがにどうかとは思いますが,日本円に戻せるパブリックチェーン上のステーブルコインは絶対にあった方が良いですね.

posted at 19:45:13

6月5日

@noritaka_okabe

岡部典孝 JPYC代表取締役@noritaka_okabe

なんで日本円に払い戻せるパブリックチェーンの日本円ステーブルコインが日本にないんだ。
あった方が絶対に社会が良くなるのに。これがない方が許せない。
だから自分達が作る。

まずはIPOして信用を得ますが
最終的に銀行業許可が必要です。

皆さんの協力が必要です。
力を貸して下さい!

Retweeted by

retweeted at 19:44:16

6月5日

@cheenanet

Cheena@cheenanet

10代のときにモテなかった20代男が加工と化粧で10代に雑に手を出して自己実現してパクられている様子むなしいな

Retweeted by

retweeted at 19:41:37

6月5日

@ka_

@ka_

これモルカー無料開放の皮を被ったiiiあいすくりん2洗脳プレイリストやで

posted at 19:22:40

6月5日

@molcar_anime

PUI PUI モルカー【公式】@molcar_anime

【PUI PUI #モルカー 新シリーズ 今秋放送!】

放送決定を記念し、
『PUI PUI モルカー』全12話を
明日 6日(月)21:00 まで無料配信中です🥕

youtube.com/playlist?list=

公式YouTubeでの配信終了まであと1日!
是非何度でもお楽しみください🥬 #推しモル のツイートもお待ちしています! pic.twitter.com/OnpNydWpus

Retweeted by

retweeted at 19:21:58

6月5日

@anago_001

あなご@anago_001

品だけ入れたらサジェストにたくみじゃなくて品田あんとか品田あん43しか出てこないの優秀なTwitter

Retweeted by

retweeted at 19:15:05

6月5日

@ka_

@ka_

今週のサザエさんは先週の次回予告が正しいなら
†お魚くわえたドラ猫†
が登場します

刮目せよ

#sazaesan

posted at 18:32:23

6月5日

@ka_

@ka_

みなさんモルカー1期(←こう言える嬉しさよ)を全話見られるのは明日までですよ.今夜全話通してどうですか?

…でiiiアイスクリン2 (あいあいあいあいすくりんだぶる) の番宣をずっと聞かされて洗脳されると良いですよ.

posted at 18:28:02

6月5日

@makkyisu1

牧瀬初雲@『スティアの魔女』『ドラゴン養ってください(原作)』@makkyisu1

シン・ウルトラマン、人類をハチに例えると
ザラブ「土地見つけたけど変な虫いるから駆除しよ」
メフィラス「資源になるから飼い慣らして活用しよ」
ゾーフィ「悪い奴に利用される前に滅ぼそ」
ウルトラマン「1匹死なせちゃった。でも興味深いやつ…ちょっとハチになってみよ」
誰が異常か一目瞭然

Retweeted by

retweeted at 17:58:39

6月5日

@sanie_448

只見アサ@sanie_448

プリマジやってたら隣でプリマジで遊ぶ子供の付き添いをしてた父親が多分ライブ中の課金するやつに「地獄みてぇなシステムだなぁ!」って言ってたので心の中でそれな〜💥💥💥タカラトミアーツにお金落としながら経済回してこ💪🔥って叫んだ

Retweeted by

retweeted at 17:55:45

6月5日

@ka_

@ka_

@cress_cc 詐欺は収入の2割まで!(そのくらいの割合までなら騙された方も勉強代だと思って事を荒立ててこないらしい)(しらんけど)

posted at 17:43:32

6月5日

@ka_

@ka_

シン・ウルトラマンまだ見てないんだけど地球に昔から来ていたメフィラス星人が接触してきて食事をした後に割り勘提案してくるらしい,という話はもう回避不可能であったし多分回避するほど重大なものでもなかろう.

posted at 17:41:01

 

表示拒否

retweeted at xx:xx:xx

6月5日

@ksuenaga

Kohei Suenaga@ksuenaga

娘が「同じクラスの〇〇君円周率全部言えるんだって!」と嬉しそうに言っていたので「すごいね!」と返した。

Retweeted by

retweeted at 17:38:18

6月5日

@ka_

@ka_

前は(今もいるけど)こういうのはおもしろ動画転載かかわいい動物画像botみたいなのが多かったけど,最近は普通に有用なこと言ってバズ生成してその後プロフの最後的なところに誘蛾灯してるのが増えてきた…ように私からは見えますが前から居るには居たんでしょうねきっと.

posted at 17:35:30

6月5日

@ka_

@ka_

カード会社(自称)から「不正アクセスのため請求を止めたので確認のため連絡先とカード番号を教えろ」のような電話が来たら注意しろって有用なアドバイスをしているアカウントがあるんですが,そのアカウント自体がちぃかわ集めて謎セミナーして集金してそうな雰囲気があるやつを見ました.

posted at 17:32:42

6月5日

@ka_

@ka_

@k_nulluo DictionaryやMapは自然な感じするのと同時に userArray は users でいいだろって感じもするのが,ダブルスタンダードというかランダムアクセスO(1)配列だけが特別扱いされ過ぎだよなぁ…ってなります…

posted at 17:28:28

6月5日

@ka_

@ka_

セクハラの漫画かと思ったら物理ダメージの漫画じゃねぇですか

posted at 17:19:18

6月5日

@ka_

@ka_

@k_nulluo 変数名に型名付けることの話なのでDictがMapになっても本質的には変わらないですね…

posted at 17:17:36

6月5日

@ka_

@ka_

いや今はもうあるんだから使っていけってそれはそう

ちゃんと練習して使っていきたいです…

posted at 17:14:38

6月5日

@ka_

@ka_

クソッ…何度タイムリープしても「Rubyに静的型検査欲しい」になってしまう…

posted at 17:14:16

6月5日

@ka_

@ka_

いやさ,users は Array<User> だろうってのは分かるけどさ,例えば何かの文字列IDからUserを取ってきたいときに users: Hash<String, User> って変数があったら,users[id] の id に間違って数値渡しちゃったりしそうじゃん?…まで書いて,これどっちかというとRuby自体の問題だな…ってなった.

posted at 17:13:39

6月5日

@ka_

@ka_

これには同意しつつとは言え自分は連想配列の変数名を辞書ということで nantokaToKantokaDict って付けるのはよくやってます…

posted at 17:10:46

6月5日

@acevif

ACエビフライ@acevif

users←いい。シリコンバレーの風を感じる。
usersArray←まぁわからないこともない。英語や静的型が使いこなせないチームやコードの中で足掻くには必要なこともある。
userAry←多重下請けの香りを感じる。プログラマーも人間だから人生をやらなければならないときもある。つらい。 twitter.com/rubydog725/sta

Retweeted by

retweeted at 17:09:30

6月5日

@ka_

@ka_

「何でもします」に続いて「気持ち良すぎ」も使ってはならない言葉になってしまった

posted at 02:44:39

 

表示拒否

retweeted at xx:xx:xx

6月5日

@ka_

@ka_

Which `privacyPolicy` should I use for `z_sendmany` ?

z... to u... (Sapling to Orchard)
AllowRevealedAmounts

t... to u... (t-address to Orchard)
AllowRevealedSenders

u... to t... (Orchard to t-address)
AllowRevealedRecipients

posted at 02:36:23

6月5日

@ka_

@ka_

z_getnewaccountの前に,

デーモン起動時に-exportdirの指定
zcashd-wallet-toolの実行(とrecovery phraseのバックアップ)

をやっておくことも忘れずに.これはエラーメッセージが教えてくれるので従うだけで良いです(そのはず).

posted at 02:11:52

6月5日

@ka_

@ka_

z...は古いzアドレスで,
u...は
z_getnewaccount
z_getaddressforaccount 0
で作ればよろし.

posted at 02:09:57

残り11件のツイートを見る

このページの先頭へ

×