AtCoder Problems in C++ #C - Unlucky 7

AtCoder Beginner Contestの過去問から、その提出コードの解答例です。
AtCoderとは、コンテストを通じて、プログラミングやアルゴリズムを学習するサービスです。
atcoder.jp
プログラミングコンテストとは、「与えられた問題をいかに素早く、正確に」解くことができるかを競うものです。
「競技プログラミング」を略して、「競プロ」などと呼ばれています。

#C - Unlucky 7
atcoder.jp

僕が作成、提出したコードは、以下のとおりです。

/*
AtCoder Problems in C++
#C - Unlucky 7
https://atcoder.jp/contests/abc186/tasks/abc186_c:embed:cite
提出コードの解答例
https://neguse-atama.hatenablog.com
*/
#include<bits/stdc++.h>
using namespace std;
bool tf(int a,int b){
  while(a){
    if(a%b==7){
      return true;
    }
    a/=b;
  }
  return false;
}
int main(void){
  int n;
  cin>>n;
  int m=n;
  for(int i=1;i<=n;i++){
    int j=tf(i,10);
    int k=tf(i,8);
    if(j || k){
      --m;
    }
  }
  cout<<m<<endl;
  return 0;
}

AtCoder Beginner Contestは、オンラインジャッジによるプログラミングコンテストです。
日本語と英語に対応していて、週末ごとに実施されているみたいです。
https://practice.contest.atcoder.jp/tutorial
アカウントを登録すれば、誰でも参加できます。