『ペルソナ』シリーズの設定資料集が最大50％オフに。『ペルソナ3』『ペルソナ4』のイラストが収録された副島成記氏のアートワークスは必見。『ペルソナ5』設定資料集、『ペルソナ3』ガイドブック、『ペルソナ３ ダンシング・ムーンナイト』の設定資料集もお得

本連載では、Blenderの基本的な知識、機能についてイラストを交えながら紹介しています。第48回目は、Blenderに用意されている物理演算の一種であるリジッドボディコンストレイントに関する設定方法について学んでいきます。 リジッドボディコンストレイントとは リジッドボディコンストレイントとは、リジットボディを設定したオブジェクト同士を拘束する機能のことです。例えば、リジットボディを設定している2つのオブジェクトがあったとして、この2つのオブジェクトにリジッドボディコンストレイントを適用することで、片方のオブジェクトが平面に衝突して落ちたときに、もう片方のオブジェクトも連動して下に落ちる、といった動きなどが再現できます。 なお、リジットボディコンストレイントは、リジットボディを設定しているオブジェクトにのみ有効です。 まずはオブジェクトの用意から 前回、リジットボディの設定をどのように行

OSC 133という仕様があります。 これはシェルやREPLでプロンプトと実行結果の出力を一まとまり単位として扱うためのマークを決まったエスケープシーケンスで行うことで、ターミナルエミュレーターが解釈できるようにしようという提案です。 最近のモダンなターミナルエミュレーターはこれをサポートしていて、例えば次のような有名なターミナルエミュレーターで対応しています。 iTerm2 WezTerm Alacritty Kitty VS Code 自分は最近WezTermに移行したわけですが、WezTermではScrollToPromptという機能があって、キーバインディングでビューポートの先頭を常に直前のプロンプトにするという便利なことができます。（例えば、出力結果が長いコマンドを実行したときに便利） これをぜひ使いたいということで、設定を確認したところ、先の仕様提案にzshでの設定方法の例が書

Vim駅伝2025-03-12の記事です。 最近、NeovimがOSC 133に対応しました（https://github.com/neovim/neovim/pull/32736）。 これにより、OSC 133に対応したシェルのユーザーであれば、[[ や ]] を使って、:terminal内のシェルプロンプト間をジャンプできるようになります。 大量の行に渡る出力が発生した場合に、出力がどこから始まっているか、目で終わずにジャンプできるのは便利ですね。 ちなみに、TerminalモードからNormalモードに移行するには<C-\><C-N>ですが、私は<C-\><C-O>を使っていないので、単に<C-\>で移行できるようにマッピングしています。 OSC133を利用したい場合、fish >= 4.0では設定不要ですが、シェルによってはプロンプト先頭に特殊なエスケープシーケンスを追加する必要が

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more.

どんなあみだくじでも答えにたどり着くことを証明した。 ここでいうあみだくじとは 有限本のくじ(縦棒)がある 縦棒上の点と点を結ぶ横道が有限本ある 横道は水平線だけじゃなく、遠くのくじへ行ったり自身を上に行ったりできる ダメなこと 「ふりだしへもどる」はない 同じ点と点を結ぶことはできない 一方通行はない 一度通ると崩れるマリオのブロックみたいな道はない どちらに行くか選べる分岐みたいなのはない なぜ証明したか PPLで話題になって証明しようかなと思った。 ざっくりとしたアイディア あみだくじを形式的に定義するアイディア くじ(縦棒)の集合があったとき、横道の集まりで一つのあみだくじのデータを表現した。 例えばこのあみだくじは A0--B2, A1--B0, B1--C0 という3本の横道として表現する。横道は端点のペアであり、端点の添字は点の高さで上から順に一つづつ大きい数字になる。各くじ

ハンダ付けして作る「MSX DIY」構想が明らかに　西和彦氏が「MSX DEVCON 7」で語った新世代MSXの最新状況（1/6 ページ） 8月31日、東京・品川で「MSX DEVCON 7」が開催された。DEVCONとは、Developer Conferenceの略で、日本語では開発者会議となる。その名の通り、MSX DEVCONはMSXに関する開発者会議であり、MSXの生みの親でアスキー（現KADOKAWA）創業者としても知られる西和彦氏が日本と海外で主催しているものだ。MSX DEVCON 7に筆者も参加してきたので、その様子をレポートしたい。 そもそもMSXとは？ 40代以上の読者であれば、MSXをリアルタイムで知っている人が多いだろうが、若い読者やMSXをあまり知らないという人のために、最初にMSXとは何か簡単に紹介したい。 MSXとは、1983年にアスキーとMicrosoftが

iRobotは、かつてロボット掃除機の代名詞ともなった「ルンバ」シリーズで市場を席巻した。しかし、同社の業績は深刻だ。同社が米証券取引委員会（SEC）に提出した資料によれば、今後12カ月間の事業継続すら危ういことが示されている。 実際、iRobotは2024年に全従業員の40％をレイオフし、採用を抑制し、オフィスの閉鎖や一部をサブリースに回すなど、あらゆるコスト削減策を講じてきた。その結果、約1億2640万ドルの経費を削減したが、それでも財務は安定していない。 そこで同社は、ロボット掃除機での再浮上を目指し、新機軸のルンバを打ち出した。同シリーズでは、競合する中国メーカーのRoborockなどが取り入れている2枚の回転モップパッドなどを搭載し、ユーザーに機能面でアピールしようとしている。 しかし、この新製品がもし期待ほど売れなかった場合、会社の存続が困難になる可能性が高いと書類には明記され

【シリコンバレー=中藤玲】ロボット掃除機「ルンバ」で知られる米アイロボットの業績低迷が続いている。同社は12日、事業を続けることが難しいと表明した。中国勢の成長が背景にある。米アマゾン・ドット・コムへの売却に活路を求めたが認められず、回復の道筋がついていない。アイロボットが12日に発表した2024年10〜12月期決算資料の中で、「追加情報」として「少なくとも12カ月間、事業を継続できるかどうか

国際天文学連合は3月11日、土星に見つかった新たな衛星128個を認定したと発表した。これで土星の衛星は274個となり、木星の95個を超えて太陽系で最も多くの衛星を持つ惑星となった。 台湾、カナダ、米国、フランスの天文学者で構成される研究チームが、ハワイのマウナ・ケア山に設置された「カナダ・フランス・ハワイ望遠鏡」（CFHT：Canada-France-Hawaii Telescope）を使って発見した。 研究チームは2019年から21年にかけて土星周辺の空を細かく撮影。複数の画像を組み合わせ、天体の信号（像）を強くする手法で、相次ぎ新たな衛星を発見した。 これらの衛星は数kmという大きさで、すべて不規則衛星（惑星から離れた位置を公転し、大きな軌道離心率と傾斜角を持つ衛星）だった。このため研究チームのブレット・グラッドマンさん（ブリティッシュ・コロンビア大学教授）は「もともとあった衛星が、他

著： 武内庶民 駅の真ん前にそびえ立つビルを見上げて「こんなデカい街に住むのかァ」と感慨に耽っていたのは、大学進学を機に福岡から上京してきた2007年の春だった。 JR八王子駅前の風景。どう見ても都会だと思った 東京に住みたいと思ったのは、高校二年生の春休みにザ・ローリング・ストーンズの来日公演観たさに単身東京を訪れたのがきっかけだった。限られた時間の中で出来るだけいろんな街を巡って分かったのは「東京には天神みたいな街がたくさんあるんやな」ということだった。 それもみんな同じような“都会の街”ではなく、それぞれの街にそれぞれの色があり、福岡の「友だちと遊ぶのもデートするのもとにかく天神」という世界とはまるで違って見えた（あくまでコンプレックスを抱えた浅薄な高校生当時の私見です）。 好きなバンドの来日公演は組まれないし、レコード屋だって東京にはディスクユニオンだけで何店舗もあるし、気になる映

以下、プレスリリースの全文を掲載しています 『ALL YOU NEED IS KILL』 ハリウッド映画化もされたタイムループ SF の傑作小説が革新的なアニメーションとして生まれ変わる！ ワーナーブラザースジャパン合同会社のアニメプロダクション部門は、アニメーション作品「ALL YOU NEED IS KILL」の企画情報および特報 PV、ティザービジュアルを解禁いたします。 斬新なタイムループ設定と力強い成長を描いたストーリーで、タイムループ SF ブームに大きな影響を与えた桜坂洋の『All You Need Is Kill』。のちにハリウッドで映画化もされ、世界的に大ヒットしたこの傑作小説がアニメーション作品となります︕ 本作を手がけるのは、日本アニメーション界で独自の存在感を放つSTUDIO4℃。『鉄コン筋クリート』や『海獣の子供』など、挑戦的かつ独創的な作品を世に送り出し、伝統的

漫画のネーム書くのだるすぎる 本当にめんどくさい 打ち合わせしたあと、一日でかきあげられるだろってなめてたら、馬鹿みたいに時間かかった 二日図書館引きこもってかきあげたの、たったの半分ぐらい で、なにがつらかったって孤独なんよな 1人でネーム書くのつらいんだよ 友達にゲーム誘われて断って、旅行誘われてまた断って ネーム出来なさすぎて風呂場で呆然としたし 自分はこれで金稼いでないからいいけど、漫画家ってめっちゃハードな職業だよな 漫画家ってみんな漫画に命捧げてない？ 俺無理だわ 漫画と心中できない ふつーにほどほどに暮らしたい、たまに自分が書いた漫画面白いって言ってくれる友達がいたらそれでいいんだよね 漫画家さんってほんまにすごいんだなー

= release_date_start && now ― 君の“推し球”が見つかる夏！ ― サンデーうぇぶりアプ…

ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標（登録番号 第6091713号）です。 詳しくは［ABJマーク］または［電子出版制作・流通協議会］で検索してください。

ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標（登録番号 第6091713号）です。 詳しくは［ABJマーク］または［電子出版制作・流通協議会］で検索してください。