二項演算子

モノイド的構文解析言語 MonParser - MonParser の構文解析(C# 形式) MonParser (C# 形式) バージョン 0.2 演算子を使うように仕様を変更します。演算子を多用すると何が書いてあるかわかりにくくなりますが、簡潔に書くことができるので全体の構成が把握しやすくなります。まだ仕様は決まっていませんが、現在の状況を書いておきます。C# で書くことができるように仕様を決めていきます。 「str(文字列)」は構文木で使われない文字列を表します。文字列は正規表現を表します。 「st(文字列)」は構文木で使われない文字列を表します。文字列は正規表現ではありません。 「op…

モノイド的構文解析言語 MonParser - MonParser の構文解析(C# 形式) MonParser (C# 形式) バージョン 0.1 最初に定義した MonParser は BNF を Python 版 MonIter の形式で書くものです。これは BNF 形式ということにします。MonParser (C# 形式)を MonParser (BNF 形式)と同じことができるようにします。以下のように構成されたものを「構文式」と呼ぶことにします。 「str(文字列)」は構文木で使われない文字列を表します。文字列は正規表現を表します。 「st(文字列)」は構文木で使われない文字列を表…

文書の一覧 JTC1/SC22/WG21 - Papers 2024 mailing2024-05 全部で139本あります。 もくじ N4983 WG21 agenda: 24-29 June 2024, St. Louis, MO, USA P0260R9 C++ Concurrent Queues P0843R12 inplace_vector P0963R2 Structured binding declaration as a condition P1000R6 C++ IS schedule P1083R8 Move resource_adaptor from Library TS …

今回は、JavaScriptの演算子のいろいろです。 [先に知っておくべき単語］ * オペランド……値のこと 被演算子（+-*/％） 二項演算子 オペランドが二つあるもの →左辺オペランド 演算子 右辺オペランド ex）1 + 1、2 - 1 など プラス演算子（+）……足し算 文字列結合演算子（+）……文字を繋げる マイナス演算子（-）……引き算 乗算演算子（*）……掛け算 除算演算子（/）……割り算 0で除算すると、Infinity（無限大）になる 剰余演算子（%）……余りの計算で、余りを返す ex）7%3=2...1 ①返す 6%3=2...0 ⓪返す べき乗演算子（**）……累乗の計算…

2024年6月28日から7月1日にかけて開催された ICFPC 2024 に参加した。 icfpcontest2024.github.io チーム 例年通り Gon The Fox (総計7名) で出場した。当チームは2019年頃からメンバーを多少変えつつ参加しており、私自身は2020年から毎年参加している。 問題概要 ICFP Language という関数型言語の仕様が与えられる。 ICFP の式を送ると ICFP の式が返ってくるような HTTP endpoint が提供されており、それを使って以下の5カテゴリに分かれた問題を解く。 hello ICFP を使用した基礎的な通信を行う la…

同一の概念にたくさんの呼び名があるのは、よくあることです。呼び名が違うことで同一性に気付かなかったり混乱したりします。表題にある概念の同一性について整理しておきます。$`\newcommand{\In}{\text{ in }} \newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\cat}[1]{\mathcal{#1} } \newcommand{\mbf}[1]{\mathbf{#1} } %\newcommand{\u}[1]{\underline{#1} } %\newcommand{\Imp}{\Rightarrow} %\newcomma…

リスト／タプル囲み括弧（具体データ構成子記号／型項構成子記号の一部と考える） 引数囲み括弧（評価演算の二項演算子記号の一部と考える） 演算の優先度括弧（パーズツリーに影響する） まとまり括弧（パーズツリーに影響しない） 規則と注意 引数囲み括弧とリスト／タプル囲み括弧が重なると省略される傾向がある。例： $`f( (a, b)), f(a, b)`$ 引数囲み括弧と演算の優先度括弧は区別つかないことがある。例： $`h(i + j)`$ 引数囲み＋評価を次の記号で表すと良い。$`(\cdots)\triangleright, \triangleleft(\cdots)`$ 単項リストは識別しに…

はじめに まずは定義から 切り捨て (床関数) 切り上げ (天井関数) 整数同士の除算に関する性質 「切り捨てのマイナス」は「マイナスの切り上げ」 「割り算に〇を足したものの切り捨て」は「割り算の切り捨てに〇を足したもの」 「割り算の切り上げ」は「分子を1引いた割り算の切り捨てに1を足す」 C++ で切り捨て・切り上げ処理を実装してみる 床関数div_floor()を実装 天井関数div_ceil()を実装 動作確認 参考記事 はじめに AtCoder の問題を解いていると時々必要になってくるのが、 整数 が与えられる。 を で割った値を切り捨てた値、および切り上げた値を求めよ。ただし、 は負…

ラベル付きメトリックは、PromQL クエリ言語を用いてグラフに表示できます。Mackerel では、PromQL の以下の機能がサポートされています。 時系列セレクタ ベクトルセレクタ =（等号ラベルマッチャ） !=（不等号ラベルマッチャ） =~（正規表現ラベルマッチャ） !~（否定正規表現ラベルマッチャ） 範囲ベクトルセレクタ 修飾子 offset @ 集計演算子 sum() avg() min() max() quantile() count() count_values() また、集計に用いるラベルを制御する by・without 修飾子に対応しています。 二項演算子 (vector)…

一部の証明支援系／プログラミング言語において、シグマ型を直積型と同じ '$`\times`$' で、パイ型を指数型と同じ '$`\to`$' で書くという記法が採用されています。これは短く書けて便利なのですが、当然ながら混乱を招くので、少し変更した形で紹介します。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\mfk}[1]{ \mathfrak{#1} } \newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\twoto}{ \Rightarrow } % use \newcommand{\L…

色々とハマル。$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\In}{\text{ in }} \newcommand{\op}{ \mathrm{op} } % used \newcommand{\hyp}{\text{－} } % used \newcommand{\ILT}{ \triangleleft } % immediately less than `$内容： 構文モデル 型と項 組み込みかユーザー定義か 様々な引き戻し 構文モデル「モデル」と言うと、構文に対して…

以前、圏論の普遍性という概念は難しい、という話を書いたことがあります。 圏論の普遍性が難しい理由 普遍性は“前層の表現可能性”により語られるので、普遍性の難しさは“前層の表現可能性”の難しさです。「表現可能である」ことは前層の性質ですが、「当該の前層を含む“構造／系”が存在する」という形の性質なので、背後にある“構造／系”が何であるかを把握する必要があります。背後にある“構造／系”を明示的に提示しないことが、普遍性／表現可能性をより難しくしている事情かも知れません。「圏論の普遍性が難しい理由」のサマリーと補遺として、この記事で、背後にある“構造／系”を明示的に提示します。構造／系の記述形式とし…