タグ

関連タグで絞り込む (1109)

タグの絞り込みを解除

ネタに関するluccafortのブックマーク (656)

  • C++完全理解ガイド Rev1.4.01 - Qiita

    はじめに C++を完全理解したので完全理解ガイドを書く。 最初に言っておくがタイトルは詐欺で、実際はポエムである。 僕は仕事C++を書いたことはないのでなんか変なことを言っているかも知れない。 ところで無職になったので、普通にC++で職がほしい。 2018年6月から受託で仕事をもらい、毎日C++17を書いています。 2018年9月から雇用され、毎日C++17を書いています。 かなり雑に書いているはずなので、コメント等でどんどんマサカリを投げてほしい。 僕は何者か 工学部を卒業して4年ほど高校の理科教師をやっていたが、現在無職になった人。 工学部を卒業して4年ほど高校の理科教師をやっていた。 最初は良かったのですが、授業に慣れ、このまま自分の成長が止まってしまうのかとなぁと思い、辞めて無職に。 一ヶ月無職を楽しんだあと、某から受託でC++を書く仕事をもらい、C++17を書いている。 主にツ

    C++完全理解ガイド Rev1.4.01 - Qiita
    luccafort
    luccafort 2018/03/29
    “ショスタコーヴィチでテンションがあがる。”は?エルガーのチェロ協奏曲に決まってんだろ!(ショスタコーヴィチもいいよね) 英語ができるようになりたいにゃーん。
  • 提案:エンジニアに気軽に「バグ」というのはやめませんか? - worker experienceの日記

    もしかしたら私だけかもしれないです。ずれているかもしれません。 一般論ではないかもしれません。 でも、同じような気持ちになっているエンジニアがいるかもしれないので、 代表して言わせてください。 エンジニアに、気軽に「バグ」と言うのをやめませんか? 最近立て続けに以下のようなことが起こっており、私と同僚が消耗しています。心がすり減ってます。ワーカーエクスペリエンスが低下しています。。。 ~~~~~~~~~~~~~~~~~~~ 「○○さん、この数値がバグなんだけど直してもらえる?」 →調べたらその週は祝日影響で、営業日が少ないだけだった。 「あのデータのバグはいつ直りますか?」 →データの集計定義の変更の依頼があり、変更前の状態をバグと呼ぶ 「この前入ってなかったバグなんだけど、次の開発に入れてもらっていい?」 →スコープ外のこと(担当がそれを忘れていた)をバグと呼ぶ ~~~~~~~~~~~~

    提案:エンジニアに気軽に「バグ」というのはやめませんか? - worker experienceの日記
    luccafort
    luccafort 2018/03/02
    ここで上げられてるのは全部バグじゃないんだけどもこれらをバグって言ってしまうことのほうがヤバいと思う。このエントリのURLを社内メールで投げてみることをおすすめする。
  • wats - たるのんに退職されたエントリ - Powered by LINE

    今、たるのんが作ったLINE BLOG iOSのエディタを使い、彼への餞をしたためようとしている。溢れる涙でも、エディタの文字が滲まないのは君のロバストな設計のせいでしょうか?、生活防水のiPhoneに畏敬の念を禁じ得ません。あれ、6sは防水じゃなかったっけか? 彼との出会いは5,6年ほど前で、彼が主催側にいたエンジニアイベントだった。Objective-CのARCについて知ったかぶって客席から意見を言ってたところ、循環参照が解決できないのはAutoになっても一緒だから万能ではないよね、みたいなツッコミをかぶせてきたのが彼だった。登壇してる方も質問してる側もおっさんの中で、学部3回生ぐらいで物怖じもせず簡潔にツッコミ入れている姿から、それまでに十分な学習をし、そこから得た知識からの自信を感じたのを覚えている。 LINE Fukuokaの開発組織を立ち上げる時、新卒採用は当面無理かなと思った

    wats - たるのんに退職されたエントリ - Powered by LINE
    luccafort
    luccafort 2017/09/01
    アナーキーというかロックというのかわからんがめっちゃ大変だけどものすごく楽しいエンジニアなんだなという印象。かっこいい。エンジニアとしてかくありたい。
  • 5歳児が値段を決める美術館

    おのさきにある4ほんのトゲ、1メートルのトゲ。それをふりまわしてあいてをこうげきしていたきょうりゅう。そうしょく。 #price=90000円 #tags=厚紙/2016/5歳作品 #color=#36A067 このサイトは、とある1人の子供が4歳から5歳にかけて作ってきた作品の一部を販売する「ECサイト」です。アートにおいて「表現」や「コンセプト」以外にも「値段」は欠かせない要素です。もし5歳児がアーティストを名乗り、自分の作品の「値段」を決めると、どんな世界観になるのでしょうか。 ここでは実際に5歳児自身に「作品名・コメント・値段」を全て決めてもらいました。それ故に日円では支払うことのできない「19千億円」などの単位も生まれてしまいました。作品は全て販売していますが、払えない値段のものは、支払いが不可能なため実際に購入をすることはできません。他にも数兆円など現実的には買えない値段もあ

    5歳児が値段を決める美術館
    luccafort
    luccafort 2017/08/31
    買えない理由が「なくした/こわれた」のあたりに子供らしさがあっていい感じに頭おかしくて最高!という気持ちになる。ここで支払ったお金が子供に還元されているならお金払っても良いと思う人はいるのではないか?
  • ジオングから見た開発の問題

    Project for Public Spaces & National Center for Biking and Walking•6.8K views

    ジオングから見た開発の問題
    luccafort
    luccafort 2017/08/24
    めっちゃ面白いのだけどきちんと的を射ているのがさらに面白いwww
  • 男性は童貞を気にしすぎでは?

    女からの意見だけど。 童貞をバカにするのって、大体男同士じゃない?なんか、首絞めあってない?って前から思ってる。 童貞をバカにする女って、例えばどこにいる?キャハハキモーいのキモーいガールズ? それって、描いたのは男性作家だけど。男性向けエロ漫画のコマだけど。 大抵の女は、目の前の男が童貞か非童貞かなんて、心底どーーーーーーーーーーーーーーーーーーーーでもいいんです。 まじで、これっっっっぽっっっっっちも興味ないんです。 そんなことより、足の爪のささくれの方が1000倍気になる。 恋愛対象の男性のことなら、ちょっとは知りたいかもね。だって好きだから。 でも、その人が童貞でも非童貞でも、どっちにしろ「そうなんだ!」と思うだけで評価に影響はないですね。だって好感フィルターかかってるから。 恋愛対象じゃない男が童貞か非童貞は、興味ないを通り越して、そんな発想はなかったレベル。「オ、オウ…?」みた

    男性は童貞を気にしすぎでは?
    luccafort
    luccafort 2017/08/08
    童貞か非童貞かはまあその通りなんですがある一定年齢を超えるとバイアスがかかりだして「こいつなにかやばいのでは」と思われるので「宗教上の理由です」という免罪符を出せば許されると聞いた。真偽は不明。
  • 新卒エンジニアでもできる!コメントアウトで同期に差をつける裏技 - Qiita

    6月がやってきた 新卒の皆さんは、入社して2カ月が経ちました。 そろそろ会社に慣れてきた頃でしょうか。 会社によっては、研修期間が終了して、現場でバリバリ開発をしている人もいるかと思います。 JavaScriptでコメントアウト 基的な文法は以下の通りです。 には載ってないコメントアウトの裏技 それでは、裏技についての説明です。 これは、私が1年目の駆け出しだった頃、SONY系のゲーム会社から転職してきた「T先輩」に教わった裏技です。 当時の私は、仕事のやり方を覚えている最中で、「先輩から学べることは何でも学んでやろう!」と意気込んでいた頃でした。 さっそく、裏技のやり方を説明したいのですが、「基編」と「応用編」で2つの技があります。 まずは、「基編」から解説させていただきます。 基編 以下のコードは、複数行コメントである「/* */」を使って、3行の処理をまとめてコメントアウト

    新卒エンジニアでもできる!コメントアウトで同期に差をつける裏技 - Qiita
    luccafort
    luccafort 2017/06/14
    緊急時の裏技的な対応としてはありなのかもしれんがこれがレビューするコードであがってきたら絶対に殺すマンになるので結局同期に差がつけられてしまうのでは…。まあバッドノウハウの1種として知るのは有効。
  • エンジニアVSおしゃ女子オフ会(第一回)に参加した - Wakotech Blog

    これです。 hiwell.connpass.com 大変人気だったようなので第二回があるかもしれないので、第一回と入れておいた。 ちなみに開始時点で男性は30人に対しておしゃ女子8名。多分15人くらいまでは増えてた気がする。 行く前 合コンの前にとらのあな寄るやつおるかwwwwww— euta23🌱 (@euta23) 2017年6月2日 これは合コンではなくて、テキストエディタ勉強会の会場なんだ— 暗黒美無王(dark Ryzen) (@ShougoMatsu) 2017年6月2日 行った後 vim のプラグイン作ってる人とかOS 作ってる人とか居て、初心者なので怖い会だった— euta23🌱 (@euta23) 2017年6月2日 エンジニアのオフ会なのに宗教勧誘がなされなかった!!!平和!!!— euta23🌱 (@euta23) 2017年6月2日 趣味欄にキーボードって書い

    エンジニアVSおしゃ女子オフ会(第一回)に参加した - Wakotech Blog
    luccafort
    luccafort 2017/06/03
    "ハッシュタグなかったので実況が成立しなかったの絶対失敗だった"いやこれ絶対にだめなやつでしょ!なんで事前に決めておかなかったの!!個人的には枠に漏れた人で行う裏会を希望します。そっちのほうが面白そう
  • 【オフ会】エンジニア男子 VS おしゃ女子 (2017/06/02 20:00〜)

    機能改善 イベント資料の投稿において、SlideShareやSpeakerDeckと同様に、Docswellの資料を埋め込みスライド表示できるように対応いたしました。資料の投稿機能は、資料URLを指定するだけで、URLから取得した情報を、適した形でconnpass上で表示・共有できる機能です お知らせ connpassプライバシーポリシーの内容を一部更新しました。詳細につきましてはこちらをご覧ください。

    【オフ会】エンジニア男子 VS おしゃ女子 (2017/06/02 20:00〜)
    luccafort
    luccafort 2017/05/19
    かつてないほどに長いフィード…。そして補欠が23名もいて補欠枠でオフ会してそれを実況してくれ感すらある。
  • 水素水業界、国民生活センターと全面対決 「断じて納得できません」(2017年2月2日)|BIGLOBEニュース

    「正当性の無い商品テスト結果」「容認できる範囲を逸脱した暴挙」——。国民生活センターが2016年12月に公表した「水素水」に関する調査報告書に対し、複数の水素水メーカーが「納得できない」と怒りの声を上げた。 国民生活センターの調査対象となった水素水生成器メーカーの取締役は17年2月1日、J-CASTニュースの取材に「あんな横暴なやり方で、ウソの情報を流されて......。私達はこれで生活しているので、当に困っているんです」と話す。 「配慮に欠け容認できる範囲を逸脱した暴挙」 国民生活センターは2016年12月15日、水素水製品に溶け込んでいる水素量を調べるテストや事業者アンケートの結果などをまとめた調査報告書を公表した。調査は全19業者を対象に、16年9月から11月にかけて行われた。 その結果によると、ペットボトル入りの水素水2製品では溶存水素(水素ガス)が全く検出されず、他の製品でも、

    水素水業界、国民生活センターと全面対決 「断じて納得できません」(2017年2月2日)|BIGLOBEニュース
    luccafort
    luccafort 2017/02/02
    "あんな横暴なやり方で、ウソの情報を流されて......。私達はこれで生活しているので、本当に困っているんです"???何言ってるのかわからない。生活しているなら詐欺師だってそれで生活してるよ?
  • マンガ『マスターキートン』の知識「砂漠ではスーツがいい」は本当か? マジの砂漠にスーツで行ってみる - ソレドコ

    「マスターキートン」というマンガがある。浦沢直樹 勝鹿北星 長崎尚志 のマンガで、保険調査員である主人公、平賀=キートン・太一が世界を舞台に様々な難事件に挑むストーリーだ。主人公がとにかくサバイバル術に長けている。 そんなマスターキートンの中で、ネットでよく話題になるのが、“砂漠ではスーツがいい”という知識だ。暑い砂漠にはスーツがいいらしいのだ。主人公は確かにスーツを着て砂漠で生き延びているし。果たして当なのだろうか。実際に試してみようと思う。 マスターキートンとは マスターキートンは1988年から1994年にかけて小学館「ビッグコミックオリジナル」で連載されたマンガだ。現在は「マスターキートン 完全版」が出版されている。 【楽天市場】 マスターキートンの検索結果 さて“砂漠ではスーツがいい”というのは、「マスターキートン 完全版 1巻」に収録されている「黒と白の熱砂」と「砂漠のカーリマ

    マンガ『マスターキートン』の知識「砂漠ではスーツがいい」は本当か? マジの砂漠にスーツで行ってみる - ソレドコ
    luccafort
    luccafort 2017/01/31
    どうせ鳥取砂丘だろ?とか思ってすみませんでした!!!植物の根以外はだいたい検証した結果正解だったということでいいのかな。とりあえず"えずくよね!"でデスヨネー!となったのでそれだけはやらないようにします
  • 大学教員は、趣味を仕事にし、上司もおらず、スーツ着る必要もなく、通勤ラッシュと無縁で、裕福な暮らしをしている存在

    Simon_Sin @Simon_Sin 「国立大の授業料無償化すると国家財政が危うくなる」とか言っている連中は、法人税減税の時も同じ事言ったのか?国立大無償化には4000億円しかかからないけど法人税減税で税収は7000億円減ったんだぞ?なんで大企業には甘いのに国民には厳しいの? 2017-01-05 12:07:59 rionaoki @rionaoki むしろ、インテリの皆様は、大学が世間からどれだけ嫌われているのか認識したほうがいいと思うんよね。大学の先生なんて概ね仕事なんてしてないし、好きなことやって裕福な暮らしをしているぐらいに思われてるでしょ。 2017-01-05 16:39:00

    大学教員は、趣味を仕事にし、上司もおらず、スーツ着る必要もなく、通勤ラッシュと無縁で、裕福な暮らしをしている存在
    luccafort
    luccafort 2017/01/09
    素直な感想としてはこの人大学に進学したことがないのかな?という印象。難の役に立つかわからんとか好きなことやってるように思われがちだがスポンサー募ったりと大学教授はプロデューサー業的なものだと思ってる。
  • 「すごいエンジニア」は凄いエンジニアになることを目指してないかも:Geekなぺーじ

    「すごいエンジニア」が一部界隈で話題になっています。 「すごいエンジニア」が目指すもの 私がこれまでに「この人は凄いなぁ」とか「この人には一生かなわないなぁ」と思った「すごいエンジニア」は、次のようなイメージがあります。(ここでは、元記事の文脈に沿って「エンジニア」をという単語を主に「IT系の」として表現します。) 何かに没頭する能力が高い。 好奇心旺盛。 技術に関連する話題で議論している時、すごく楽しそうに話をする。 飲み会で語り合う話題は、基的に技術に関連する話か興味を持っている何かに関連する話を好む。無難な世間話でジャブを打ち合うような飲み会は苦手。 技術に関連する資料を読むのが好き。勉強しているという意識はなく、単に楽しいから調べている。もしくは、調べ始めたら色々と気になって深堀りした結果として知識が増えただけ。 もともと英語が得意、もしくはIT関連の調べ物や発表等で必要だったか

    luccafort
    luccafort 2017/01/05
    “勉強しているという意識はなく、単に楽しいから調べている”だいたいこのイメージ。
  • 陛下に一本取られた話

    陛下に一取られた話 (注:この記事に関しては、 転載、まとめサイトへの引用は禁止 です。また、取材等もお受けしません。) 実は、約2年前に天皇陛下と皇居で事をするという奇跡に恵まれたことが有る。もちろん、私自身はそんなVIPでは無いので、偶然と幸運が重なったためではあるが。 数年前に、神経科学の重鎮であるN先生が、天皇陛下の御前で「ご進講」(天皇・皇后・皇族に学者等が業績などをご説明申し上げること:weblio辞書より)をしたのがそもそもの始まり。ご進講の1カ月後に、陛下が講師を皇居に招き、お礼の意味で事会開く、のが慣例となっているそうで、その時に、2名の随行者を連れていくことが許されるとのこと。N先生はK大学医学部教授の先生を1人と、もう一人になんと私を指名しくれたのだ。 指名してくれた理由は、はっきりしている。N先生は、私が専門とする魚の模様研究が、ネタとして「使える」と考えた

    陛下に一本取られた話
    luccafort
    luccafort 2016/12/31
    この件で一番ぼくがすごいなぁと思うのは天皇陛下も皇后さまも自分がわからないということを質問されているということだと思う。人はとかく年を経るほどに賢く見せたがるものだがそれを聞けるというのは単純にすごい
  • 正しいのはどっち? 第一回『グルメ vs 味オンチ』討論会! - ぐるなび みんなのごはん

    こんにちは、株式会社バーグハンバーグバーグです。 みなさんは誰かと事に行った時、こんな風に感じたことはありませんか? 「この人、こんなものを『おいしい』と感じるんだ……」 また、それとは逆に、 「手軽な居酒屋で十分なのに、なんで高級店に行きたがるんだ……」 と感じることもあるではないでしょうか。 そう、実はこの世の中には2種類の人間がいるのです。 すなわち―― に通じ、美味しいモノのためにはお金と労力を惜しまない「グルメ」! 対して、ジャンクだろうと安物だろうと、何をべてもおいしい!と喜べる「味オンチ」! …この両者の間にはマリアナ海溝よりも深い溝があるわけですが、今日はそんな「グルメ」と「味オンチ」を集め、普段から言いたかったことを、両陣営にそれぞれブチまけてもらおうと思います。 第一回『グルメ vs 味オンチ』討論会 集まってもらったのはこちらのメンバー ▼グルメチーム 田中開(

    正しいのはどっち? 第一回『グルメ vs 味オンチ』討論会! - ぐるなび みんなのごはん
    luccafort
    luccafort 2016/12/27
    そもそも自称グルメがどれくらい味の違いについてわかるのかがわからないのでグルメレベル的なものとか検定的なものできちんと測ってほしい感。多分みんな自分が思ってるよりも断然味音痴だと思う、ぼくも含めて。
  • 最近、乃木ヲタがうざい - Modern Age Idol

    最近というか、ここ1年くらい乃木坂のヲタク、最近だと欅坂のヲタクがうざいなーと感じることが増えた。これはある特定の人を指していってるわけではないし、ただなんとなウザいヲタクが多いなーと感じているだけであって、もしかしたら実体のない存在なのかもしれない。ただ、ウザいヲタクが多く目につくという話だ。 これは単純に売れているものに対するただの嫉妬の可能性もあるが、でも少なくとも同じように感じている人が日に100人くらいはいると思うので書いておくこととする。 前もって言っておくが、2年くらい前まで自分も乃木坂のツアーや握手会に毎回参加していた人間である。 「お前乃木坂しか知らねえじゃん」 これである。普通に「好き」と言えばいいのに、「他のアイドルよりもすごい!」と比較するような言い方をするからウザい。 だいたい他のアイドルよりもすごい!みたいな言い方をする人は、他のアイドルについて詳しくないこと

    最近、乃木ヲタがうざい - Modern Age Idol
    luccafort
    luccafort 2016/12/24
    アイドルやドルオタに関してはわからんがこの人がどこにウザいと感じるのか?はわかった気がするのでまあ相当ウザかったんだろうな。
  • クリスマスに4℃のアクセサリーを貰って喜ぶ女はチョロい - トイアンナのぐだぐだ

    2016 - 12 - 21 クリスマスに4℃のアクセサリーを貰って喜ぶ女はチョロい 4℃ というジュエリーがある。 市場が縮小 する中で着実に 売上を伸ばす トップブランドであり、ハート形とピンクゴールドの組み合わせなど甘々なデザインが特徴。Sweetや CanCam など女性誌でも引っ張りだこで、結婚指輪としても人気がある。 その一方で、「4℃はダサい」という意見も根強い。4℃は女子高生から女子大生を主に支持を受けているブランドで、似合いそうな服は真っ白なコートやパステルカラーバッグ。正直、アラサーのほとんどが着るのをためらう色合いだ。価格帯は2万円台が ボリュームゾーン で決して安くもない。「だったら、年相応のブランドがいい」という気持ちはわかる。 また4℃が背負う王道イメージも私のような日陰者にはずしんとくる。 デザインモチーフはハート型、ピンク、ディズニー。ううっ、胃もたれする。

    クリスマスに4℃のアクセサリーを貰って喜ぶ女はチョロい - トイアンナのぐだぐだ
    luccafort
    luccafort 2016/12/22
    “年末年始の繁忙期を『日曜日よりの使者』を流して乗り切っている” チョロいかどうかは終ぞわからなかったがぼくの中の評価がこの一文で跳ね上がった。
  • 社会人がイラッ! 「それは日本語で言えばいいじゃん」と思うビジネス用語9選

    社会人になったら、会社で「それな」「わんちゃん」などの、いわゆる大学生用語は使えません。しっかりとビジネス用語も織り交ぜた言葉遣いにしていく必要があります。しかし、ビジネス用語の中でも「これ、日語でよくね?」という言葉もあるものです。そこで今回、「それは日語で言えばいいじゃんと思うビジネス用語とは?」というテーマで、社会人から意見を集めてみました。 ▶【例文つき】もう間違えない! 定番ビジネス敬語一覧 ビジネスで使える敬語25選 ■「それは日語で言えばいいじゃん」と思うビジネス用語はなんですか? ●コンプライアンス ・法令遵守と言った方が重みがあるから(男性/38歳/金融・証券) ・法令遵守の方が短い(女性/26歳/金属・鉄鋼・化学) ・意味がわからん(男性/44歳/その他) ・日語の方が意味も端的に伝わる(女性/26歳/ホテル・旅行・アミューズメント) ●アジェンダ ・意味がわか

    社会人がイラッ! 「それは日本語で言えばいいじゃん」と思うビジネス用語9選
    luccafort
    luccafort 2016/12/19
    ミーティングはMTGとすればマジックザギャザリングする約束だったとしてもバレないからだよ。アポを約束と言い換えるのはいいけど逆にわかりにくくないか?アジェンダはそもそもそれに対応する日本語あるのか???
  • 超ブラック企業の「新年会」で披露した巨乳オリンピックの話 - 警察官クビになってからブログ

    私は新年会で「30人全員を笑わせる」という罰ゲームを再度行う事になってしまいました。 🔻一応この記事の続きです。 悪夢の再来!「無表情で座る30人の社員」 新年会が盛り上がってきた頃、 社長が軽い口調で言います。 「じゃ!忘年会のリベンジしてもらおっか!」 そう言いながら社長が、私をみんなの前に引っ張り出します。 私はすでに足が震えてうまく歩けません・・・。 前に出てきた私を見て みんな「嫌そうな顔」をしていました。 どうせまたダメなんだろ? なんかカワイソウだし見てられない つまんないのにやらせるなよ・・・ そんなイライラした30人の突き刺すような視線が私に向けられます。 みんなの目の前に立つとゾクッとします。 なんだか忘年会の時よりもアウェイ感が増している・・・? そして社長がニコニコしながら「じゃあ、スタート!」と言うと 「30人笑わせるまで絶対に終わらない罰ゲーム」が始まりました

    超ブラック企業の「新年会」で披露した巨乳オリンピックの話 - 警察官クビになってからブログ
    luccafort
    luccafort 2016/12/13
    いい話風に終わってるけど風にごく普通に悪夢では…。 この経験から糧を得たのは結果として良かったのかもしれないけどそうじゃないだろ!ってモヤモヤする。
  • 少女漫画はある意味悪だよ

    一昔まえにはなるけれど、少女漫画の定番ネタのひとつに、男に興味がない主人公みたいなのいたじゃん? 例えるなら、ヒーローの俺様イケメンに「おまえ面白いな」って言われるタイプのキャラだよ。これがよくない。ある意味悪だ。 理由はふたつある。 ひとつめの悪影響を書く。まず、そういうキャラは男に媚びない。俺様イケメンに口説かれても「お生憎様、顔だけの男に興味ないので」などと言ってバッサリ断ったりする。そして冒頭の「おまえ面白いな」に繋がるわけだ。それが、まだこの世のことを知らぬ幼い女の子にはかっこよく見えてしまう。己を貫き、その姿勢でイケメンを落としてるんだからね。少女は学ぶ。自分の姿勢を貫く女の方が、男にとって興味深く映るのだと。 ふたつめは、ひとつめに連続する内容で「女に慣れたイケメンにモテるためには媚びてはいけない」という誤解だ。女の子にもてる彼にはツンな対応をとったほうがいいという間違った認

    luccafort
    luccafort 2016/12/10
    この理論が正ならぼくは今頃岡山でハーレム築いて銀河を二分する勢力の皇位継承権を持つはずなので是非とも証明をしていただきたく。