米Twitterは2月2日、Twitter APIの無料提供を9日（米国時間）で終了すると発表した。対象になるのはバージョン1.1、2の両方で、代わりに有料版を提供するとしている。同社の開発チームのTwitterアカウント（＠TwitterDev）が明らかにした。 同社は「長年の間、何億人もの人々が1兆を超えるツイートを送信し、毎週何十億ものツイートが投稿されている。Twitterのデータは、世界で最も強力なデータセットの一つだ。私たちは、迅速かつ包括的なアクセスが可能になるよう取り組む。あなた（開発者）は引き続きわれわれとともに開発が可能だ」としている。 詳細については来週報告するという。 関連記事 「Twitter API有料化」の影響範囲は？ 現状から予想できること 「Twitter APIの無料提供を終了する」という米Twitter。詳細はまだ分からないが、現状からどんなシナリオが
// 割る2をする関数の引数が偶数であることを型によって強制する例（実用性はない） data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非効率すぎる他倍長整数 type Even = O | S[Odd] type Odd = S[Even] // 偶数を引数にとって2で割った結果を言語組込みの整数として返す関数 div2 : Even -> I64 = // 網羅性チェックつきのパターンマッチ | O => 0 | S(S(n)) => 1 + n.div2 TL;DR ユニオン型は直和型の上位互換である（追記あり）。関数型言語を作るときは直和型の代わりにユニオン型を採用するのもあり。 はじめに Cottonというプログラミング言語を2021年の夏頃から作
日本のほとんどの漫画雑誌や単行本は右開きであるため、 コマは右から左、そして上から下へと読み進めていきます。 逆に横書き文化の欧米では、コミックなどは左開きが一般的ですが、 近年は日本の漫画の世界的な普及により、 右開きの本でもスムーズに読める外国人が増えているようです。 さて今回の翻訳元では、コマではなく吹き出しの読む順番が話題に。 下の図を参考に、コマ上部にある▲から読むべきなのか、 それとも右側にある■から読むべきなのか、 「正解」を巡って様々な意見が噴出しています。 その一部をご紹介しますので、ごらんください。 「日本に感謝する」 フランスを分断するパンの名称論争を日本が終わらせたと話題に 翻訳元■■ ■ 理論的には三角（左上）からであるべき。 とは言え構図としては四角（右下）の方が、 はるかに自然な形では読めると思う。 +24 ■ 青い四角の方が手前にある。 だから俺は普通に四角
Upgrade for image upload, smarter AI, and more Pro Search.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
