▽drybulbのLisp日記 - lispｸﾞﾙｰﾌﾟ
●05/09 11:32
このﾌﾞﾛｸﾞについて

▽`(Hello world) - cadrｸﾞﾙｰﾌﾟ
●05/09 08:18
このﾌﾞﾛｸﾞについて

▽Developer @ ADJUST
●05/09 02:26
F# .NET jQuery SQL Server AJAX ASP.NET ﾗｲﾄﾆﾝｸﾞﾄｰｸ LINQ JavaScript Plone WebMatrix ADO.NET Entity Framework ASP.NET MVC Fizz-Buzz Selenium ASP.NET Core C# Azure AngularJS Visual Studio

▽桃の天然水
●05/06 15:38
2021-10-25
AtCoder Beginner Contest 224 B
https://atcoder.jp/contests/abc224/tasks/abc224_b
問題文通りに書けば十分間に合いますが､
が成り立つと､
なので､
が成り立ちます｡
これは､要するに長方形を2分割して､それぞれの領域で不等式成り立てば､元の長方形でも成り立つことを意味します｡これは横に分割しましたが､縦に分割しても同じです｡
このように分割していけば､長さ1の正方形で不等式が成り立てば､全ての長方形で成り立つことになります｡
以下は､PyPy2のｺｰﾄﾞです｡
# coding: utf-8
# Mongeness
from itertools import product
#################### library ####################
def read_

▽Island Life
●04/27 11:26
｢carとcdrの合成 (car, caddr, cadddr,...)って4段階までしか無いのか｣ってﾂｲｰﾄを見かけたので､無限に合成されるのを作ってみた｡あらかじめ定義しておかなくても､ｿｰｽｺｰﾄﾞを読んだ時点で展開されるので､いくらでも長いc[ad]+rを使える｡