記事一覧

【discord.py】特定の名前の役職(Role)を消す

目的の役職を名前から取得 role = discord.utils.get(message.guild.roles, name='役職名') 役職を削除 await role.delete() リファレンスに関する補足...

【discord.py】EmptyEmbed関連のエラーについて

埋め込みメッセージ(Embed)あたりを触っていると、エラーメッセージ内に _EmptyEmbed というものが現れる場合があります。 例えば、 if 'hello' in message.embeds[0].title ...

【PostgreSQL】ORDER BYにCASE式を指定すると任意のソート順にできる理由

ORDER BY に CASE式を指定すると、戻り値に応じたソート順にできるというやつ。 SELECT * FROM any_table ORDER BY CASE any_column WHEN "va...

【Python】os.getenvとos.environ.getの違い

結論から言うと 違いはありません。等価です。 以下、順を追って詳細を説明します。 Pythonにおける環境変数の取得方法 まず前提のお話から。主に3通りありますね。 os.getenv('ENV_VAL'...

【discord.py】message.channelがTextChannel以外なら無視する

コード @client.event async def on_message(message): if not isinstance(message.channel, discord.TextChannel): ...

PHP7の型宣言

引数と返り値に対して型宣言が可能。 <?php declare(strict_types=1); // 厳密な型チェックを有効にする /** * 型宣言のある関数定義 * * @pa...

【JavaScript】Array.prototype.includes と Array.length の速度比較

これはなに 以下の条件式を書く場合、どちらが左にあるべきか?という問いに対する調査と回答。 array.length === 0 || array.includes(e) なお、両者の真偽値の頻度には偏りがないとする。 ...

【Python】カレントディレクトリのファイル数をカウントする

import os path = os.getcwd() files = os.listdir(path) count = len(files) print(count) 参考:Pythonでカレント...

【Python】18桁の整数をランダム生成する

何桁でも使える方法ですが、例えば Discord のユーザ, チャンネル, メッセージ等に割り振られているIDは、いずれも18桁の整数と決まっています。(稀に例外がありますがその説明は割愛します) 何かとダミーのデータが必要にな...

【Python】辞書/JSONで定数を管理する

マジックナンバーは定数化して管理するのが定石ですが、定数が増えてくると管理が大変です。 そこで辞書を使って管理するためのTIPSを紹介します。 ※ 記載しているIDは生成したダミーデータです。【Python】18桁の整数を...